import Mathematics

-- Knowledge Base domain: SocietyCulture

opaque Person : Type
-- Person extends Entity
axiom Person.val : Person → Entity
opaque Place : Type
-- Place extends Entity
axiom Place.val : Place → Entity
opaque City : Type
-- City extends Place
axiom City.val : City → Place
opaque athens : City
opaque birthyear : Person → Nat
opaque bornIn : Person → Place → Prop
axiom fact_bornIn_socrates_athens : bornIn socrates athens