Proofgold Term Root Disambiguation

cat

as obj
242eb..

as prop
-

theory
SetMM

stx
ebbdd..