Proofgold Term Root Disambiguation

wceq ceu (cfv c1 ce)

as obj
-

as prop
48089..

theory
SetMM

stx
0aa70..

address
TMbCH..