[logic-ml] modalities and lex modalities