LogInfo.begin_track("FormulaGenerationInfo=%s",formulaGenerationInfo);
Set<String> generatedQuestions =
qGenerator.getQuestionsForFgInfo(formulaGenerationInfo); //maybe generalize to arbitrary formula
for(String generatedQuestion: generatedQuestions) { //for every generated question
LogInfo.logs("ParaphraseParser.parseQuestion: genQue=%s",generatedQuestion);
ParaphraseExample paraEx = new ParaphraseExample(question, generatedQuestion, new BooleanValue(true));
if(opts.vsm)
vsmModel.computeSimilarity(paraEx, params);
if(opts.alignment)
aligner.align(paraEx, params);