e query with target Al a InheritanceLink Bob rich Suppose the deduction rule It is chosen. Then if we can find (A2, A3) that look like, say, A2 a InheritanceLink Hob owns_mansion A3 a InheritanceLink owns_mansion rich EFTA00624429 36.3 Inference Control in PLN 283 , our problem is solved. But what if there