Beispiel #1
0
 def test_term_positions_change_result(self):
     left = Predicate(
         content="$organizer1 and $organizer2 planned for $player1 to play $game with $player2."
     )
     right = Predicate(
         content="$organizer1 and $organizer2 planned for $organizer1 to play $game with $organizer2."
     )
     assert not left.means(right)
Beispiel #2
0
 def test_term_placeholders_do_not_change_result(self):
     left = Predicate(
         content="$organizer1 and $organizer2 planned for $player1 to play $game with $player2."
     )
     right = Predicate(
         content="$promoter1 and $promoter2 planned for $player1 to play $chess with $player2."
     )
     assert left.means(right)