MeTeoR: metric temporal reasoner





Dataset:

Program:

Fact:


  to check if the fact is entailed by the dataset and the program