Proofgold Term Root Disambiguation

OSNo_proj1 Quaternion_k = 0

as obj
-

as prop
1b52c..^OSNo_p1_k

theory
HotG

stx
5c6b2..

address
TMLg9..^OSNo_p1_k