input: [0] S i m p s o n [Pareto-Optimal] YES [Majority] YES [Condorcet] YES [Monotonic] YES [Clone-Independent] NO [Mutual majority] NO [Smith] NO [Reinforcing] NO [Schwartz] NO [Nonmanipulable] NO [Reverse-Symmetric] 
output: NO
options: Y E S
options: N O