في هذه الورقة، نقترح تنفيذ الدلالات الزمنية التي تترجم أشجار بناء الجملة إلى الصيغ المنطقية، ومناسبة للاستهلاك من قبل مساعد دليل COQ.يدعم التحليل مجموعة واسعة من الظواهر بما في ذلك: المراجع الزمنية والظروف الزمنية والفصول الجوفية والتقدميين.يتم بناء الدلالات الجديدة على رأس نظام سابق يتعامل مع جميع أقسام جناح اختبار FRACAS باستثناء القسم المرجعي الزمني، والحصول على دقة قدرها 81 في المائة عموما و 73 في المائة للمشاكل التي تحملها صراحة فيما يتعلق بالرجوع الزمني.على حد علمنا، هذا هو أفضل أداء للنظام المنطقي على كامل Fracas.