Proofgold Term Root Disambiguation

∀ x0 . atleastp x0 x0

as obj
-

as prop
5ab24..

theory
HF

stx
ac81c..

address
TMSkN..