Proofgold Term Root Disambiguation

OSNo_proj1 Quaternion_j = 0

as obj
-

as prop
2eedc..^OSNo_p1_j

theory
HotG

stx
5c6b2..

address
TMPdC..^OSNo_p1_j