can be diagnosed in

7 triples
GPTKB property