# FraCaS: Temporal Analysis

arXiv: https://arxiv.org/abs/2012.10668 · HTML: https://mlsanity.com/paper/2012.10668/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 19 Dec 2020.

## Built on by (most cited first, 2 of 2)

- [LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models](https://mlsanity.com/paper/2404.15522/) (2024)
- [Compositional Semantics and Inference System for Temporal Order based on Japanese CCG](https://mlsanity.com/paper/2204.09245/) (2022)

## Abstract (arXiv)

In this paper, we propose an implementation of temporal semantics which is suitable for inference problems. This implementation translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. We support several phenomena including: temporal references, temporal adverbs, aspectual classes and progressives. We apply these semantics to the complete FraCaS testsuite. We obtain an accuracy of 81 percent overall and 73 percent for problems explicitly marked as related to temporal reference.