analyzes policies on

4 triples
GPTKB property