Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ SNo x0

as obj
-

as prop
5fd93..^nat_p_SNo

theory
HotG

stx
d6a2f..

address
TMNfo..^nat_p_SNo