Expressiveness limitation of propositional logic
	n KB contains "physics" sentences for every single square n For every time t and every location [x,y], Lx,y  FacingRightt  Forwardt  Lx+1,y n Rapid proliferation of clauses