Proofgold Term Root Disambiguation

as obj
-

as prop
51503..^{not_TwoRamseyProp_4_5_24}

theory
HotG

stx
21c51..

address
TMHPK..^{not_TwoRamseyProp_4_5_24}