\slide{9-lattice}{Non-monotonicity in inheritance networks}{

Inheritance lattice

-- predicates