Proofgold Term Root Disambiguation

as obj
-

as prop
3686a..^{Octonion_i0_i4}

theory
HotG

stx
8dbba..

address
TMJKF..^{Octonion_i0_i4}