is non-compact

9 triples
GPTKB property