// once [1,oo)
bool a1: [0,2) false; [2,3) true; [3,6) false;
bool a2: [0,2] false; (2,3] true; (3,6) false;

// once A1
bool OnceA1: [0,2] false; (2,6) true;

// once A2 (= once A1)
bool OnceA2: [0,2] false; (2,6) true;

// once[1,oo) A1
bool OnceLC1ooA1: [0,3) false; [3,6) true;

// once[1,oo) A2
bool OnceLC1ooA2: [0,3] false; (3,6) true;

