signature {

propositions { p }
nominals     { n}
relations { r : {functional} }

}

theory
{

n:<r><r><r>( p & n:<r><r><r>!p)

}