Proofgold Term Root Disambiguation

cinito

as obj
9811d..

as prop
-

theory
SetMM

stx
ebbdd..

address
TMJyf..