[rules-users] using forall with from