[PRD] Another schema problem

This one I did not fix:
It seems that the then-part of a rule can have an unrestricted 
And(...).  E.g.

If ... Then And(_P(?x) Or(?x = 1 ?x = 2))
  

Received on Thursday, 2 July 2009 22:54:12 UTC