Proofgold Term Root Disambiguation

SNo (eps_ 1)

as obj
-

as prop
8b78d..^SNo_eps_1

theory
HotG

stx
26642..

address
TMGW7..^SNo_eps_1