has solution type

5 triples
GPTKB property