hich binds $v1 to owns_mansion, and InheritanceLink lives_in_Manhattan lives_in_top_city InheritanceLink lives_in_top_city rich !- InheritanceLink lives_in_Manhattan rich which binds $vl to lives_in_Manhattan We want A2 and A3 to be derived in ways that bind $vl to the same thing. The most straightforward way t