⊑(Persona ⊤)

⊑(Cellphone ⊤)

⊑(∃(hasCellphone ⊤)Person)

⊑(∃((hasCellphone)^- ⊤)Cellphone)

⊑(Person (≥ 1.hasCellphone))

⊑(Cellphone ⊓((≥ 1.(hasCellphone)^-)(≤ 1.(hasCellphone)^-)))

⊑(⊤ ⊓(∀(Rolename Classname)∀((Rolename)^- Class2)))