user: Question: If the country of origin is Switzerland, what is the name/ designation?
Columns: ['Name / designation', 'Year of introduction', 'Country of origin', 'Primary cartridge', 'primary user']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ['Armalite AR-10', '1957', 'United States', '7.62x51mm NATO', 'Portugal, Sudan']
SQL:

assistant: SELECT "Name / designation" FROM "Table" WHERE "Country of origin" = 'Switzerland';