(NAME_PREFIX PredTest.esc.valid)
(DEFPRED (Q x y) (OR (> x 7) (< y 0)))

(IMPLIES
 (AND
  (> a 8)
  (< b -5)
  )
 (Q a b))

(IMPLIES
 (AND
  (> a 8)
  (< b -5)
  )
 (Q a b))