Proofgold Term Root Disambiguation

wceq c3o (csuc c2o)

as obj
-

as prop
3af6f..

theory
SetMM

stx
9e953..

address
TMYXn..