main adversary

8 triples
GPTKB property