When Propositional Logic Isn’t Enough
		• Define Above using transitivity of On • “There’s a/there’s no block on A.” • “All blocks have red letters.” • Need for properties, relationships, and ways to generalize information compactly • Practical applications: mathematical theorem proving, common-sense reasoning (CYC image database), circuit/program design/verification