Proofgold Term Root Disambiguation

wf (cxp chil chil) cc csp

as obj
-

as prop
00cb5..

theory
SetMM

stx
47223..

address
TMKoT..