Generate all possible propositional attacks.
There might be multiple possible attacks.
Drop DEFEND-AGAINST.

We don't use it any more.