Proofgold Term Root Disambiguation

∀ x0 . Subq x0 (ordsucc x0)

as obj
-

as prop
165f2..^ordsuccI1

theory
HF

stx
0d78c..

address
TMMWM..^ordsuccI1