Proofgold Term Root Disambiguation

as obj
-

as prop
cf0ea..^{Octonion_i3_i0}

theory
HotG

stx
8dbba..

address
TMPv5..^{Octonion_i3_i0}