שליחה במסרון: Formal semantic analysis :