A continuation of `An ordered-triple theory of language' (Svoboda, A.,Materna, P., Pala, K. 1976), focusing on the semantic theory based on Tichy's intensional logic, and on a computer program of syntactic analysis, compatible with the designed systems of semantic and pragmatic analysis.