Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNo_ (SNoLev x0) x0

as obj
-

as prop
93516..^SNoLev_

theory
HF

stx
8964b..

address
TMZMY..^SNoLev_