Proofgold Term Root Disambiguation

wceq chio (cfv chil cpjh)

as obj
-

as prop
04e50..

theory
SetMM

stx
337cc..

address
TMbpv..