closure property

12 triples
GPTKB property