On the Dual Basis of Projective Semimodules and Its Applications | Synapse