Proofgold Term Root Disambiguation

wceq coutsideof (cdif ccolin cbtwn)

as obj
-

as prop
890d5..

theory
SetMM

stx
cb8e1..

address
TMc1J..