Proofgold Term Root Disambiguation

HSNo_proj1 Quaternion_j = 1

as obj
-

as prop
abaae..^HSNo_p1_j

theory
HotG

stx
43801..

address
TMSKn..^HSNo_p1_j