Proofgold Term Root Disambiguation

as obj
-

as prop
20263..^{TwoRamseyProp_3_3_6}

theory
HotG

stx
496fc..

address
TMMgD..^{TwoRamseyProp_3_3_6}