is a covering group of

5 triples
GPTKB property