Proofgold Term Root Disambiguation

as obj
-

as prop
262f1..^{TwoRamseyProp_4_9_Power_8}

theory
HotG

stx
d906f..

address
TMGYc..^{TwoRamseyProp_4_9_Power_8}