-- Knowledge Base domain: Mathematics

opaque Entity : Type
opaque socrates : Philospher
axiom fact_birthYear_socrates : birthYear socrates = 420
