formula includes

7 triples
GPTKB property