Data for Linguistic Theories Coincide with Misformalization in Temporal Logic

Data accompanying the ASE NIER 2025 paper "Linguistic Theories Coincide with Misformalization in Temporal Logic." This is further annotation of the data from Greenman et al.'s "Little Tricky Logic: Misconceptions in the Understanding of LTL" (https://doi.org/10.22152/programming-journal.org/2023/7/7), whose original data is also public (https://doi.org/10.5281/zenodo.6988909). This dataset extends the data from the English-to-LTL results of their rounds 3 and 4 with annotations related to possible pragmatic influences on incorrect translations by participants. See sheets "r3 EL" and "r4 EL" for the additional columns underlying the ASE NIER publication above. Note: the annotations use the word "generics" while the paper uses the more specific term "habitual" (roughly, a sort of generics particular to time).