Proofgold Term Root Disambiguation

as obj
-

as prop
5b30a..^{not_TwoRamseyProp_4_5_Power_4}

theory
HotG

stx
e68a5..

address
TMNUw..^{not_TwoRamseyProp_4_5_Power_4}