$Id: shoe-swell.xsl,v 1.16 2000/08/14 08:41:32 connolly Exp $

based on SHOE 1.01 Specification, April 28, 2000, Sean Luke and Jeff Heflin

things to check: @@ me, @@ !constants

@@found n-ary predicate; only binary predicates are implemented @@unimplemented subclause syntax @@assuming rule arg is a literal: []; @@constants, etc.