Proofgold Term Root Disambiguation

∀ x0 . atleastp (Sing x0) u1

as obj
-

as prop
4f2c3..

theory
HotG

stx
2d143..

address
TMHdb..