expressions El - Inheritance ( $vl, Animal) E2 a Evaluation( $v1, ($v2, Bacon) ) E3 - Inheritance( $v2, $v3) E4 - Evaluation( Eat, ($v3, $vl) ) ES a Evaluation (Eat, ($v7, $v9) ) E6 a Inheritance $v9 $v6 Since the set {El, E2, E3, E4} doesn't share any variables with {E5, EC), there is no reason to consider th