Proofgold Term Root Disambiguation

TwoRamseyProp u3 u5 u15

as obj
-

as prop
afaa8..

theory
HotG

stx
cb48d..

address
TMHJc..