Proofgold Term Root Disambiguation

as obj
-

as prop
6f401..^{not_TwoRamseyProp_5_8_Power_5}

theory
HotG

stx
7a72a..

address
TMRW6..^{not_TwoRamseyProp_5_8_Power_5}