. . . . . . . "logical language" . "Engineered language" . "logic-based language" . "engineered language" . . "Engineered_language" . "engineered" . "logical languages" . . . . . "Engineered language" .