Proofgold Term Root Disambiguation

wceq ch0o (cfv c0h cpjh)

as obj
-

as prop
34f11..

theory
SetMM

stx
337cc..

address
TMLpv..