Proofgold Term Root Disambiguation

wceq cns (ccom c2nd c1st)

as obj
-

as prop
10218..

theory
SetMM

stx
d4238..

address
TMRfh..