Proofgold Term Root Disambiguation

abs_SNo 0 = 0

as obj
-

as prop
35a65..^abs_SNo_0

theory
HotG

stx
26642..

address
TMHWd..^abs_SNo_0