pdf bibA Dynamic Temporal Logic of Events, Intervals and States for Nominalization in Natural LanguageRaft NaumannThe Computational Treatment of Nominals