final public void conclusion() throws ParseException {
 Token conclusionType;
 Literal literal;
    if (jj_2_70(7)) {
      conclusionType = jj_consume_token(DEFINITE_PROVABLE);
    } else if (jj_2_71(7)) {
      conclusionType = jj_consume_token(DEFINITE_NOT_PROVABLE);
    } else if (jj_2_72(7)) {
      conclusionType = jj_consume_token(DEFEASIBLE_PROVABLE);
    } else if (jj_2_73(7)) {
      conclusionType = jj_consume_token(DEFEASIBLE_NOT_PROVABLE);
    } else {
      jj_consume_token(-1);
      throw new ParseException();
    }
    literal = literal();
   try {
    ConclusionType ct=ConclusionType.getConclusionType(conclusionType.image.trim());

    Map<ConclusionType, Conclusion> conclusionList = conclusions.get(literal);
    if (null==conclusionList) {
     conclusionList = new TreeMap<ConclusionType, Conclusion>();
     conclusions.put(literal, conclusionList);
    }
    conclusionList.put(ct,new Conclusion(ct,literal));
   } catch (Exception e) {
    {if (true) throw new Error(e);}
   }
  }