Proofgold Term Root Disambiguation

64789.. 5d5d8..

as obj
-

as prop
1f808..

theory
HotG

stx
7e9c3..

address
TMJu9..