@prefix : <http://example.org/dtt#>.
@prefix ex: <http://example.org/ex#>.

_:sk_0 a :Type.
_:sk_0 :goodOf ex:Cobbler.
_:sk_1 a :Type.
_:sk_1 :goodOf ex:Physician.
ex:alice :hasType _:sk_2.
_:sk_2 a :Type.
_:sk_2 :goodOf ex:Cobbler.
ex:bob :hasType _:sk_3.
_:sk_3 a :Type.
_:sk_3 :goodOf ex:Physician.
