Proofgold Term Root Disambiguation

TwoRamseyProp 4 4 23

as obj
-

as prop
4098b..

theory
HotG

stx
6df91..

address
TMSkW..