fluents f:boolean;
actions a:event;

rules
  f if f and a;
  
initially
  not f;
do {a;}

initially
  f;
do {a;}