Proofgold Term Root Disambiguation

∀ x0 . atleastp 0 x0

as obj
-

as prop
71267..

theory
HotG

stx
c1b88..

address
TMNZ5..