Proofgold Term Root Disambiguation

wceq csem (cin cmagm cass)

as obj
-

as prop
865c2..

theory
SetMM

stx
eb63f..

address
TMd2g..