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: President NAME_6 withdrew his opposition to a bipartisan bill that was unanimously passed through the Senate Foreign Relations Committee. However, a Congressional No vote would not be binding and could be vetoed by Mr NAME_7. An outline agreement on the future shape of Iran's nuclear programme was reached after marathon talks in April. The US, Iran, and five other nations have set a deadline of 30 June to finalise a deal which would ease western sanctions in exchange for restrictions on Iran's nuclear programme. Mr NAME_7 agreed to sign the bill giving Congress the righ