ATPFinalsRunnerUp

10 triples
GPTKB property