Proofgold Term Root Disambiguation

wcel c0v chil

as obj
-

as prop
999ef..

theory
SetMM

stx
47223..

address
TMMX4..