Proofgold Term Root Disambiguation

as obj
-

as prop
5ad5e..^{minus_SNo_SNoCutP}

theory
HotG

stx
2cf07..

address
TMPGz..^{minus_SNo_SNoCutP}