Proofgold Term Root Disambiguation

cdfa5.. u5

as obj
2bc70..

as prop
-

theory
HotG

stx
6aab1..

address
TMGYT..