Proofgold Term Root Disambiguation

OSNo Octonion_i5

as obj
-

as prop
e92a7..^{OSNo_Octonion_i5}

theory
HotG

stx
5c6b2..

address
TMUQu..^{OSNo_Octonion_i5}