[SubClassOf(owl:Thing ObjectMaxCardinality(1 ObjectInverseOf(<urn:test:test#op>) owl:Thing))]