Problem: Does "KOI8-R was designed by the Soviet government and was intended to serve as the standard encoding." answer the question "Who created KOI8-R encoding?" OPTIONS:
- yes
- no

A: yes

Problem: Does "The request was denied and Ubayd-Allah bin Ziyad killed Muslim bin Agail." answer the question "What did Ubayd-Allah bin Ziyad rule?" OPTIONS:
- yes
- no

A: no

Problem: Does "However, since 1992, the U.S. Mint has produced special Silver Proof Sets in addition to the regular yearly proof sets with silver dimes, quarters, and half dollars in place of the standard copper-nickel versions." answer the question "What was the Kennedy half dollar replaced with?" OPTIONS:
- yes
- no

A:
no