/lively4-mpm-debugging/src/client/triples