Proofgold Term Root Disambiguation

wceq cmvar (cslot c2)

as obj
-

as prop
23e9a..

theory
SetMM

stx
81cee..

address
TMFCe..