http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Tue Feb 25 17:27:49 PST 2003 Tue Feb 25 17:27:49 PST 2003 (=> (and (holds |http://www.daml.org/2001/03/daml+oil#|::|minCardinalityQ| ?r1 ?n1) (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?r1 ?p) (holds |http://www.daml.org/2001/03/daml+oil#|::|hasClassQ| ?r1 ?c1) (holds |http://www.daml.org/2001/03/daml+oil#|::|maxCardinalityQ| ?r2 ?n2) (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?r2 ?p) (holds |http://www.daml.org/2001/03/daml+oil#|::|hasClassQ| ?r2 ?c2) (holds |http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| ?c1 ?c2) (> ?n1 ?n2)) (holds |http://www.daml.org/2001/03/daml+oil#|::|disjointWith| ?r1 ?r2))