Proofgold Term Root Disambiguation

cnlm

as obj
9ab8a..

as prop
-

theory
SetMM

stx
ebbdd..