typical circuits

7 triples
GPTKB property