"result in" to me is actually [the arrow] " --->". So whatever is on the left of "results in" is the sufficient condition and whatever is on the right is the necessary condition. The same thing goes for "leads to" Et al.
... to just pop an all arrow in between /TP and ... cannot just stick the all arrow in there.
... could substitute out the all arrow for a most, some ... then return to an all arrow. The switching out an ... ) - switched out the all arrow for and or; or statement ...
@runiggyrun your notation is much more visual than mine I should have put down the G and H with an arrow. Thanks for advice, noticing the key player first should be my priority over some deep inference.
The arrow represents the rule ... two conditions. For me, "the arrow" is more concrete than "the ... --> C rule, so that arrow disappears, leaving us with A ...
... parenthesis by changing the first arrow to an "and" and keeping ... I did. Use the "or" arrow rule (which is negating the ... term that you remove the arrow for along each step in ... by step application of the arrow to or translation rule.