Given the document below, determine if the summary is factually consistent with the document.

Example Document: NAME_1 remains on course to win a record-equaling 22nd grand slam title after beating American NAME_2 in straight sets in the Australian Open semifinals Friday, setting up a mouthwatering final with NAME_3. The Serbian faced stiff opposition from the big-hitting NAME_4 in his 7-5 6-1 6-2 victory to reach his 33rd grand slam final. His victory came just hours after Tsitsipas had beaten Russian NAME_5 Khachanov 7-6 (7-2) 6-4 6-7 (6-8) 6-3 to reach his second career grand slam final.

Example Summary 1: NAME_1 will face NAME_3 in the Australian Open final after beating NAME_2 in straight sets.

Options: "Yes" or "No"

Answer: Yes, the summary is factually consistent with the article.



Given the document below, determine if the summary is factually consistent with the document.

Document: Officials are optimistic that the city will be recaptured by the weekend. But a spokesman for the US-led coalition has been more cautious, saying a tough fight is in prospect. Iraqi forces are heading towards the main government complex, and have come up against snipers and suicide bombers. Ramadi fell to IS in May in an embarrassing defeat for the Iraqi army. US-led coalition spokesman NAME_6 estimates that there are up to 350 IS fighters still in Ramadi in addition to possibly tens of thousands of civilians. There have been reports that IS has been rounding peop