[Corpora-List] [2nd CFP] NALOMA: Natural Language Meets Logic and Machine Learning