has procedures for

8 triples
GPTKB property