Proofgold Term Root Disambiguation

as obj
-

as prop
0b4e6..^{Octonion_i6_i4}

theory
HotG

stx
8dbba..

address
TMRoq..^{Octonion_i6_i4}