Proofgold Term Root Disambiguation

as obj
-

as prop
687fe..^{minus_SNo_SNoCutP_gen}

theory
HotG

stx
2cf07..

address
TMcYQ..^{minus_SNo_SNoCutP_gen}