SubClassOf(owl:Thing DataAllValuesFrom(<http://www.semanticweb.org/owlapi/test#p> DataComplementOf(DataOneOf("false"^^xsd:boolean))))