每一个 子句 都是 极大项,且编码从小到大顺序排列,则称该范式为主析取范式