SatisfyingSet $v2) and if the Inheritance2Member rule is then chosen for E7, we have ES - Inheritance $v2 $v6 E6 - Inheritance $v6 SocialActivity ES - Inheritance ($vl, Bacon) (SatisfyingSet $v2) and if Deduction is then chosen for ES then we have ES - Inheritance $v2 $v6 E6 - Inheritance $v6 SocialActivity