Re: [rules-dev] predicate constraints - "arrow" symbol