Proofgold Term Root Disambiguation

as obj
-

as prop
5039e..^{not_TwoRamseyProp_4_4_17}

theory
HotG

stx
e006b..

address
TMPc9..^{not_TwoRamseyProp_4_4_17}