http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Tue Feb 25 17:10:09 PST 2003 Tue Feb 25 17:10:09 PST 2003 (=> (and (holds |http://www.daml.org/2001/03/daml+oil#|::|complementOf| ?restr ?c-restr) (holds |http://www.daml.org/2001/03/daml+oil#|::|hasValue| ?restr ?val) (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?restr ?prop) (holds |http://www.w3.org/1999/02/22-rdf-syntax-ns#|::type ?x ?c-restr)) (holds jtp.frame.daml::|noPropValPairForObj| ?prop ?x ?val))