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))
    if premise_args.intersection(conclusion_args):

After Change

    return candidate_premises
  for premise_line in premises:
    // Convert anonymous variables of the form ?345 into ?x345.
    premise_line = re.sub(r"\?([0-9]+)", r"?x\1", premise_line)
    premise_args = get_tree_pred_args(premise_line)
    logging.debug("Conclusion args: " + str(conclusion_args) + \
                  "\nPremise args: " + str(premise_args))
    if TreeContains(premise_args, conclusion_args):

Instances