Proofgold Term Root Disambiguation

∀ x0 . In x0 0 ⟶ False

as obj
-

as prop
2901c..^EmptyE

theory
HF

stx
2dedf..

address
TMWqZ..^EmptyE