Proofgold Term Root Disambiguation

wceq c4o (csuc c3o)

as obj
-

as prop
397ce..

theory
SetMM

stx
9e953..

address
TMRFE..