Proofgold Term Root Disambiguation

wceq crr3c (co cr (ctp c1 c2 c3) cmap)

as obj
-

as prop
10276..

theory
SetMM

stx
6038b..

address
TMZY9..