Proofgold Term Root Disambiguation

wceq cgam (ccom ce clgam)

as obj
-

as prop
ec609..

theory
SetMM

stx
d5570..

address
TMM4c..