Proofgold Term Root Disambiguation

HSNo_pair 0 1

as obj
c8bb3..^Octonion_i0

as prop
-

theory
HotG

stx
5c6b2..

address
TMGR9..^Octonion_i0