Proofgold Term Root Disambiguation

41dcb.. omega

as obj
-

as prop
30796..

theory
HotG

stx
786b2..

address
TMbw3..