Proofgold Term Root Disambiguation

wceq clines2 (crn cline2)

as obj
-

as prop
b11e8..

theory
SetMM

stx
cb8e1..

address
TMRuA..