// eventually [1,oo)
bool a1: [0,3) false; [3,4) true; [4,10) false;
bool a2: [0,3] false; (3,4] true; (4,10) false;

// Eventually A1
bool inputEventA1: [0,4) true; [4,10) false;

// Eventually A2
bool inputEventA2: [0,4) true; [4,10) false;

// Eventually[1,oo) A1
bool inputEventLC1ooA1: [0,3) true; [3,9) false;

// Eventually[1,oo) A2
bool inputEventLC1ooA2: [0,3] true; (3,9) false;

