Proofgold Term Root Disambiguation

SNo 0

as obj
-

as prop
94a31..^SNo_0

theory
HotG

stx
2cf07..

address
TMN5B..^SNo_0