subset_trans.out (all z (member(z,x) -> member(z,y))))) ]]> subset(x,z))) ]]>