Proofgold Term Root Disambiguation

∀ x0 . not (atleastp (prim4 x0) x0)

as obj
-

as prop
6996b..

theory
HotG

stx
80e8e..

address
TMM8s..