englishToLisp_prettier - check truth base for prettification templates