pdf bibIntonation as a quantifier-free logical interpretation of metrical and prosodic structureHyunjung Joo | Adam JardineProceedings of the Society for Computation in Linguistics 2025