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);
FaspInterpretation model = imcons.computeLFP(main_resource_id+"_WSUM_TW_FPROD");
GroundProgram gp2 = sb.makeGroundProgram(ff, new MULTIMIN(), new TW(), new FPROD());
ConsequenceOp imcons2 = new ConsequenceOp(gp2);
FaspInterpretation model2 = imcons2.computeLFP(main_resource_id+"_MULTIMIN_TW_FPROD");
GroundProgram gp3 = sb.makeGroundProgram(ff, new WSUM(), new FPROD(), new TW());
ConsequenceOp imcons3 = new ConsequenceOp(gp3);
FaspInterpretation model3 = imcons3.computeLFP(main_resource_id+"_WSUM_FPROD_TW");
GroundProgram gp4 = sb.makeGroundProgram(ff, new MULTIMIN(), new FPROD(), new TW());
ConsequenceOp imcons4 = new ConsequenceOp(gp4);
FaspInterpretation model4 = imcons4.computeLFP(main_resource_id+"_MULTIMIN_FPROD_TW");