- `PERM_N(p)` : l’accomplissement de *p* est permis relativement à *N* ;
- `OBL_N(¬p)` : le cadre exige que *p* ne soit pas réalisé ;
- `¬OBL_N(p)` : le cadre n’exige pas la réalisation de *p*.