Proofgold Term Root Disambiguation

SNo omega

as obj
-

as prop
db7b5..^SNo_omega

theory
HotG

stx
2cf07..

address
TMNCV..^SNo_omega