Proofgold Term Root Disambiguation

recip_SNo 2 = eps_ 1

as obj
-

as prop
c21d2..^recip_SNo_2

theory
HotG

stx
f61d0..

address
TMLvp..^recip_SNo_2