// Example 3 (I&C)
P
>=
0.8
[
G
!"
err_A
" ]
Pmin
=? [
G
!"
err_A
" ]
1
-
Pmax
=? [
F
"
err_A
" ]