GroundProgram gp6 = sb.makeGroundProgram(ff, new MULTIMIN(), new FPROD(), new FPROD());
ConsequenceOp imcons6 = new ConsequenceOp(gp6);
FaspInterpretation model6 = imcons6.computeLFP(main_resource_id+"_MULTIMIN_FPROD_FPROD");
GroundProgram gp5 = sb.makeGroundProgram(ff, new MULTIMIN(), new TW(), new TW());
ConsequenceOp imcons5 = new ConsequenceOp(gp5);
FaspInterpretation model5 = imcons5.computeLFP(main_resource_id+"_MULTIMIN_TW_TW");
GroundProgram gp1 = sb.makeGroundProgram(ff, new MULTIMIN(), new FPROD(), new FPROD());
ConsequenceOp imcons1 = new ConsequenceOp(gp1);
FaspInterpretation model1 = imcons1.computeLFP(main_resource_id+"_MULTIMIN_FPROD_TW");
GroundProgram gp = sb.makeGroundProgram(ff, new WSUM(), new TW(), new FPROD());
ConsequenceOp imcons = new ConsequenceOp(gp);