... underlying structure of the problems: causal reasoning, conditional reasoning, reasoning by ... a correlation in the premise/causal conclusion type of problem?)
This is correct ... , "not" isn't an indicator, merely a negation. "Not both ... 's more than one logical indicator just pick one and ignore ... still correct using the other indicator.
... to use "until" as your indicator:
1) TP --> / ... SE
- apply group 3 indicator: /TP --> /SE (contrapositive: SE ... want to use "not" as indicator:
1) /TP --> ... SE
- apply group 4 indicator: /TP --> /SE (contrapositive: SE ...