predecessor (MP for Wells)

1 triples
GPTKB property

Random triples