Proofgold Term Root Disambiguation

as obj
-

as prop
1c6e1..^{TwoRamseyProp_3_4_Power_7}

theory
HotG

stx
6df91..

address
TMbH6..^{TwoRamseyProp_3_4_Power_7}