[finite-model-theory] workshop on preposition semantics