Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 x0 ⟶ In x1 (ordsucc x0)

as obj
-

as prop
e9b50..^ordsuccI1b

theory
HF

stx
0d78c..

address
TMQtk..^ordsuccI1b