Proofgold Term Root Disambiguation

wceq cdoma (ccom c1st c1st)

as obj
-

as prop
d455c..

theory
SetMM

stx
50889..

address
TMTrh..