Proofgold Term Root Disambiguation

wceq chlo (cin ccbn ccphlo)

as obj
-

as prop
3d124..

theory
SetMM

stx
5b3a9..

address
TMG9N..