Proofgold Term Root Disambiguation

wceq cbrsiga (cfv (cfv (crn cioo) ctg) csigagen)

as obj
-

as prop
5e38a..

theory
SetMM

stx
2758d..

address
TMMMj..