HTab-1.5.4: examples/sat/test06.frm

signature { automatic } theory

{
 (N1:P1) & (N2:!P1)
}