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