Proofgold Term Root Disambiguation

∀ x0 . In x0 (ordsucc x0)

as obj
-

as prop
cf025..^ordsuccI2

theory
HF

stx
0d78c..

address
TMLpX..^ordsuccI2