Proofgold Term Root Disambiguation

OSNo Quaternion_j

as obj
-

as prop
c8c16..^{OSNo_Quaternion_j}

theory
HotG

stx
5c6b2..

address
TMdR9..^{OSNo_Quaternion_j}