Proofgold Term Root Disambiguation

recip_SNo 1 = 1

as obj
-

as prop
75c88..^recip_SNo_1

theory
HotG

stx
f61d0..

address
TMYQW..^recip_SNo_1