Proofgold Term Root Disambiguation

c7ce4.. 8d0f8..

as obj
-

as prop
3e3aa..

theory
HotG

stx
50e9d..

address
TMMRn..