Problem: (1) The Swiss Federal Council and the Swiss Federal Assembly recommended that the initiative be rejected .
(2) The Swiss Federal Council and the Swiss Federal Assembly have recommended that the initiative be rejected .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A: yes

Problem: (1) Infer also has a domain specific language for abstract syntax tree linting , based on ideas from Model Checking for Computation Tree Logic
(2) Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A: no

Problem: (1) In Waynesburg , it collects a short stream , known as Little Sandy Creek .
(2) At Little Sandy Creek , it collects a short stream known as Waynesburg .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A: no

Problem: (1) Portrayed by Soichiro Akizuki , Kantaro Suga is .
(2) Kantaro Suga is portrayed by Soichiro Akizuki .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A:
yes