can be compiled with

9 triples
GPTKB property