Proofgold Term Root Disambiguation

wceq cdomain (cimage (cres c1st (cxp cvv cvv)))

as obj
-

as prop
f211f..

theory
SetMM

stx
29eaf..

address
TMRyb..