// Example 5 (I&C) const double epsilon = 1e-5; // Should be true (note use of epsilon for strict inequality)) "triple": !multi(P>=1 [ G !"A1_K" ], R{"slow"}<=0.5 [ C ], R{"time"}>=19/6+epsilon [ C ]) "numerical": multi(R{"time"}max=? [ C ], P>=1 [ G !"A1_K" ], R{"slow"}<=0.5 [ C ])