ex.mfotl 28 B

12
  1. P(?a) UNTIL[10,20] Q(?a,?b)