Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ ∀ x1 . In x1 x0 ⟶ atleastp x0 x1 ⟶ False

as obj
-

as prop
ac18f..

theory
HF

stx
ac81c..

address
TMNQP..