Proofgold Term Root Disambiguation

∀ x0 x1 . SNoLt x0 x1 ⟶ SNoLe x0 x1

as obj
-

as prop
904b5..^SNoLtLe

theory
HF

stx
8964b..

address
TMMLa..^SNoLtLe