Proofgold Term Root Disambiguation

recip_SNo_pos 1 = 1

as obj
-

as prop
bf827..^{recip_SNo_pos_1}

theory
HotG

stx
f61d0..

address
TMZos..^{recip_SNo_pos_1}