Proofgold Term Root Disambiguation

1eb0a.. fd2a6..

as obj
-

as prop
20480..

theory
HotG

stx
30ab4..

address
TMHnM..