Proofgold Term Root Disambiguation

∀ x0 . TwoRamseyProp_atleastp 2 x0 x0

as obj
-

as prop
95eb4..

theory
HotG

stx
92d75..

address
TMVhH..