Proofgold Term Root Disambiguation

∀ x0 x1 x2 . atleastp x0 x1 ⟶ atleastp x1 x2 ⟶ atleastp x0 x2

as obj
-

as prop
c412b..^atleastp_tra

theory
HotG

stx
ea22c..

address
TMbFN..^atleastp_tra