// 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 ])