public boolean isImplicationDefiniteClause(){
  return isDefiniteClause() && cachedNegativeSymbols.size() >= 1;
}

public boolean isImplicationDefiniteClause ( ) { return isDefiniteClause ( ) && cachedNegativeSymbols . size ( ) >= 1 ; }
determine if an implication definite clause . an implication definite clause is disjunction of literals of which exactly 1 is positive and there is 1 or more negative literals .
