is a major unsolved problem in

2 triples
GPTKB property