Proofgold Term Root Disambiguation

not (ccad8.. omega (prim4 omega))

as obj
-

as prop
651e5..

theory
HotG

stx
efade..

address
TMZZC..