Re: [rules-users] doubt regarding FORALL and contains operator...