Proofgold Term Root Disambiguation

wceq cnsb (ccom cgs cpv)

as obj
-

as prop
9dfe2..

theory
SetMM

stx
d4238..

address
TMTS7..