Proofgold Term Root Disambiguation

wceq c2o (csuc c1o)

as obj
-

as prop
c6b64..

theory
SetMM

stx
9e953..

address
TMYiv..