Proofgold Term Root Disambiguation

wceq ccring (cin crngo ccm2)

as obj
-

as prop
87e1d..

theory
SetMM

stx
f4a92..

address
TMPHn..