// p since[1,2] q
bool p: [0,2] false; (2,5] true; (5,6] false; (6,7) true; [7,8) false; [8,10] true; (10,12) false;
bool q: [0,1) false; [1,3) true; [3,4] false; (4,5] true; (5,8) false; [8,9) true; [9,12) false;

// p until[1,2] q
// bool PSinceLC12RCQ: [0,3] false; (3,5) true; [5,7) false; [7,7] true; (7,9) false; [9,10) true; [10,12) false; 
// correction olivier 19/11/2015
// correction validated 2016 04 18
bool PSinceLC12RCQ: [0,3) false; [3,5) true; [5,9) false; [9,10] true; (10,12) false; 

// p until[1,2) q
// bool PSinceLC12ROQ: [0,3] false; (3,5) true; [5,7) false; [7,7] true; (7,9) false; [9,10) true; [10,12) false; 
// correction olivier 19/11/2015
// correction validated 2016 04 18
bool PSinceLC12ROQ: [0,3) false; [3,5) true; [5,9) false; [9,10] true; (10,12) false; 

// p until(1,2] q
// bool PSinceLO12RCQ: [0,3] false; (3,5) true; [5,9] false; (9,10) true; [10,12) false;
// correction olivier 19/11/2015
// correction validated 2016 04 18
bool PSinceLO12RCQ: [0,3] false; (3,5) true; [5,9] false; (9,10] true; (10,12) false; 

// p until(1,2) q
//bool PSinceLO12ROQ:[0,3] false; (3,5) true; [5,9] false; (9,10) true; [10,12) false; 
// correction olivier 19/11/2015
// correction validated 2016 04 18
bool PSinceLO12ROQ:[0,3] false; (3,5) true; [5,9] false; (9,10] true; (10,12) false; 



// p since q KO?
bool PSinceQ: [0,2] false; (2,5] true; (5,8] false; (8,10] true; (10,12) false;  

// p sinceNS q  KO?
bool PSinceNSQ: [0,1)false; [1,5] true; (5,8) false; [8,10] true; (10,12) false; 

// AND(p,SINCE(p,q)): [0,2] false}; (2,5]=true; (5,8] false; (8,10] true; (10,12) false;  


