may be discharged from

6 triples
GPTKB property