Proofgold Term Root Disambiguation

clog_

as obj
10486..

as prop
-

theory
SetMM

stx
ebbdd..