p : o ; q pN