Problems with propositionalization
	l Propositionalization seems to generate lots of irrelevant sentences. l E.g., from: x King(x)  Greedy(x)  Evil(x) King(John) y Greedy(y) Brother(Richard,John) l it seems obvious that Evil(John), but propositionalization produces lots of facts such as Greedy(Richard) that are irrelevant l With p k-ary predicates and n constants, there are p·nk instantiations.