Proofgold Term Root Disambiguation

cnelbr

as obj
2db1e..

as prop
-

theory
SetMM

stx
ebbdd..