Proofgold Term Root Disambiguation

SNo (minus_SNo omega)

as obj
-

as prop
e72fb..^SNo_momega

theory
HotG

stx
2cf07..

address
TMbs8..^SNo_momega