First Tetralogy includes

4 triples
GPTKB property