Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 . TwoRamseyProp x0 x2 x4 ⟶ atleastp x1 x0 ⟶ atleastp x3 x2 ⟶ TwoRamseyProp_atleastp x1 x3 x4

as obj
-

as prop
d2ce5..

theory
HotG

stx
ea22c..

address
TMdY2..