@Override public boolean hasAntds(){
  if (m_Antds == null) {
    return false;
  }
 else {
    return (m_Antds.size() > 0);
  }
}

@ Override public boolean hasAntds ( ) { if ( m_Antds == null ) { return false ; } else { return ( m_Antds . size ( ) > 0 ) ; } }
whether this rule has antecedents , i . e . whether it is a default rule
