Summary
		n First-order logic: ¡ objects and relations are semantic primitives ¡ syntax: constants, functions, predicates, equality, quantifiers n Increased expressive power: sufficient to define wumpus world