proof output for semantic labelling should use tc/MB/Proof #94
Description
... while currently it goes to TPDB.CPF
but MB/Proof has nicer ways of abstraction.
In the long term, we could move MB/Proof to TPDB, that makes it more re-usable.
{{ message }}