fluents a,b: boolean;
actions shoot: event;

rules
  a if not pert(b) and shoot;
  b if not pert(a) and shoot;
  
initially
  a,b;
do {shoot;}