Proofgold Term Root Disambiguation

wceq csymrels (cin csyms crels)

as obj
-

as prop
0c6c0..

theory
SetMM

stx
5d0e3..

address
TMGu2..