UnaryFormulaInfo uInfo = fbFormulasInfo.getUnaryInfo(type1Formula);
if(uInfo!=null) {
for(String description: uInfo.descriptions) {
if(validDescription(description)) {
List<String> descriptionTokens = Arrays.asList(description.split("\\s+"));
IntPair unarySpan = getUnarySpan(lInfo); //where should we match the description
if(ParaphraseUtils.matchLists(lInfo.tokens.subList(unarySpan.first, unarySpan.second), descriptionTokens) ||
ParaphraseUtils.matchLists(lInfo.lemmaTokens.subList(unarySpan.first, unarySpan.second), descriptionTokens)) {
FormulaGenerationInfo fInfo =
new FormulaGenerationInfo(inFgInfo.bInfo, inFgInfo.injectedInfo, inFgInfo.entityInfo1, inFgInfo.entityInfo2, uInfo,
inFgInfo.isCount,inFgInfo.isInject,true);