can be discharged as

3 triples
GPTKB property