f91c6aaadfed8c6dc7ee58f459c4aa369fcba882,scripts/abduction_tools.py,,GetPremisesThatMatchConclusionArgs,#Any#Any#,83

Before Change

  conclusion_args = set(conclusion_terms[1:])
  candidate_premises = []
  for premise in premises:
    premise_terms = [p.strip(")(") for p in premise.split()[2:]]
    premise_args = set(premise_terms[1:])
    logging.debug("Conclusion args: " + str(conclusion_args) + \
                  "\nPremise args: " + str(premise_args))

After Change

  in common with the conclusion.
  
  candidate_premises = []
  conclusion = re.sub(r"\?([0-9]+)", r"?x\1", conclusion)
  conclusion_args = get_tree_pred_args(conclusion, is_conclusion=True)
  if conclusion_args is None:
    return candidate_premises
  for premise_line in premises:

Instances