predecessor (MP)

4 triples
GPTKB property