-- every teacher is a person
empty({<id> | Teaches(id, class) and not Person(id, name)})

-- id is a superkey of Teaches
-- forall id, c1, c2
    Teaches(id, c1) and Teaches(id, c2) implies c1=c2