Proofgold Term Root Disambiguation

64789.. 17d4e..

as obj
-

as prop
3a667..

theory
HotG

stx
7e9c3..

address
TMS9v..