Proofgold Term Root Disambiguation

recip_SNo 0 = 0

as obj
-

as prop
466da..^recip_SNo_0

theory
HotG

stx
f61d0..

address
TMHh9..^recip_SNo_0