Χρήστης:Admin

$$ h \in Humans \rightarrow \exists x : Soul(x) \iff  HasSoul(h) \wedge (x \in h) $$