input: [0] B o r d a [Pareto-Optimal] YES [Majority] NO [Condorcet] NO [Monotonic] YES [Clone-Independent] NO [Mutual majority] NO [Smith] NO [Reinforcing] YES [Schwartz] NO [Nonmanipulable] NO [Reverse-Symmetric] 
output: YES
options: Y E S
options: N O