atomcc
context and modality by Kratzer