Proofgold Term Root Disambiguation

wceq ci (cop c0r c1r)

as obj
-

as prop
b2522..

theory
SetMM

stx
96135..

address
TMUT9..