Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ ∀ x1 : ο . (∀ x2 . ordinal x2 ⟶ SNo_ x2 x0 ⟶ x1) ⟶ x1

as obj
-

as prop
ba9d6..^SNo_E

theory
HF

stx
8964b..

address
TMc7X..^SNo_E