SubClassOf(owl:Thing ObjectMaxCardinality(1 <http://example.com/objectProperty> owl:Thing))