is subducting under

4 triples
GPTKB property