Proofgold Term Root Disambiguation

as obj
-

as prop
e3dc1..^{TwoRamseyProp_4_4_18}

theory
HotG

stx
235c0..

address
TMPHu..^{TwoRamseyProp_4_4_18}