public boolean remove(Predicate p){
  if (m_clauses.remove(p)) {
    fireExpressionChange();
    return true;
  }
 else {
    return false;
  }
}

public boolean remove ( Predicate p ) { if ( m_clauses . remove ( p ) ) { fireExpressionChange ( ) ; return true ; } else { return false ; } }
remove a new clause .
