Proofgold Term Root Disambiguation

wceq csca (cslot c5)

as obj
-

as prop
bbc8e..

theory
SetMM

stx
bbd62..

address
TMRaV..