f91c6aaadfed8c6dc7ee58f459c4aa369fcba882,scripts/abduction_tools.py,,GetPremisesThatMatchConclusionArgs_,#Any#Any#,101

Before Change

  candidate_premises = []
  for premise in premises:
    premise_terms = premise.split()[2:]
    logging.debug(premise_terms)
    if len(premise_terms) == len(conclusion_terms) and \
       premise_terms[1:] == conclusion_terms[1:]:
      candidate_premises.append(premise)
  return candidate_premises

After Change

  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):
      candidate_premises.append(premise)
  return candidate_premises

Instances