add extended boolean model