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