exercises power through

9 triples
GPTKB property