Two football teams at the line of scrimmage
The game is almost over.
Football teams being at the line of scrimmage does not imply that the game is almost over.
exists x1 x2 x3 x4.(n_line(x3) & a_topic(x1) & at(x1,x3) & of(x3,x4) & n_scrimmage(x4) & n_team(x1) & of(x1,x2) & n_football(x2) & card_eq_2(x1))
exists s1 x1.(n_game(x1) & r_almost(s1) & Theme(s1,x1) & a_over(s1))