Proofgold Term Root Disambiguation

bbc71.. 0 1 0 0 0 0 0 0

as obj
3e294..

as prop
-

theory
HotG

stx
30ab4..

address
TMakM..