Proofgold Term Root Disambiguation

as obj
-

as prop
fc370..^{Octonion_i4_i5}

theory
HotG

stx
8dbba..

address
TMdou..^{Octonion_i4_i5}