Expert manual: not( forall( p1 p2 p3...)) is equivalent to writing not(p1 and not(and p2 p3...)) I think this is incorrect; it should read forall( p1 p2 p3...) is equivalent to writing not(p1 and not(and p2 p3...))
Is this also the way forall is actually implemented? -W _______________________________________________ rules-dev mailing list [email protected] https://lists.jboss.org/mailman/listinfo/rules-dev
