HTab-1.5.4: examples/unsat/test40.frm
signature {
propositions { p }
nominals { n}
relations { r : {functional} }
}
theory
{
n:<r><r><r>( p & n:<r><r><r>!p)
}
signature {
propositions { p }
nominals { n}
relations { r : {functional} }
}
theory
{
n:<r><r><r>( p & n:<r><r><r>!p)
}