aneously - or various subsets thereof. For a simple example, suppose one backward chains on El - Inheritance ( Svl, Animal) E3 Inheritance( $v2, SocialActivity) simultaneously. Then one is seeking, say, ($v4, $v5) so that Inheritance $vl $vS Inheritance $vS Animal Inheritance $v2 $v4 Inheritance $v4 Soc