Proofgold Term Root Disambiguation

as obj
-

as prop
5a0ae..^{TwoRamseyProp_5_5_Power_8}

theory
HotG

stx
3da02..

address
TMLRQ..^{TwoRamseyProp_5_5_Power_8}