Proofgold Term Root Disambiguation

wf (cxp cc chil) chil csm

as obj
-

as prop
0035a..

theory
SetMM

stx
47223..

address
TMXyq..