def test_one_var_zero_prems_match(self):
premise_lines = [
"H2 : _kiss x1", "H : _man (Subj x1)", "H0 : _woman (Acc x1)"
]
conclusion_line = "_greets x2"
expected_premises = []
matching_premises = get_premises_that_match_conclusion_args(
premise_lines, conclusion_line)
self.assertEqual(expected_premises, matching_premises)
def test_one_casevar_one_prem_match(self):
premise_lines = [
"H2 : _kiss x1", "H : _man (Subj x1)", "H0 : _woman (Acc x1)"
]
conclusion_line = "_person (Acc x1)"
expected_premises = ["H0 : _woman (Acc x1)"]
matching_premises = get_premises_that_match_conclusion_args(
premise_lines, conclusion_line)
self.assertEqual(expected_premises, matching_premises)
def test_one_anonvar_one_prems_match(self):
# Use anonymous variables (e.g. ?284 in the conclusion) to match
# any variable in the premises.
premise_lines = [
"H2 : _kiss x1", "H : _man (Subj x1)", "H0 : _woman (Acc x1)"
]
conclusion_line = "_greets ?284"
expected_premises = ["H2 : _kiss x1"]
matching_premises = get_premises_that_match_conclusion_args(
premise_lines, conclusion_line)
self.assertEqual(expected_premises, matching_premises)