d Inference problem, which must be solved in order to make {AI, A2, A3} an OK solution for the problem of {El, E2, E3, E4}. Or it might choose the Induction rule, and look for $v4 so that Inheritance Sv4 Eat Inheritance Sv4 SocialActivity Maybe then it would find that $v4=Dinner works, because it knows