hagler's induction

5 triples
GPTKB property