( | p 1 q qnf