predecessor (PCC)

1 triples
GPTKB property

Random triples