enforces laws on

7 triples
GPTKB property