Package net.sf.tweety.arg.aspic.ruleformulagenerator