Proofgold Term Root Disambiguation

wceq con0 (cab (λ x0 . word (cv x0)))

as obj
-

as prop
cbc6a..

theory
SetMM

stx
7c847..

address
TMExc..