Proofgold Term Root Disambiguation

wceq cmax (cslot c5)

as obj
-

as prop
6e1a6..

theory
SetMM

stx
81cee..

address
TMJV9..