Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantas licenças possui o software Mind Workstation?
 ###Tabelas: CREATE TABLE waitemata_local_board (waitemata_local_board_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Gender VARCHAR, Area VARCHAR, Authority VARCHAR, Decile INT, Roll INT) CREATE TABLE derbi_amman (derbi_amman_id AUTO_INCREMENT PRIMARY KEY, # INT, Tournament VARCHAR, Al-Faisaly Wins INT, Al-Wehdat Wins INT, Draws INT, Total INT, Al-Faisaly Goals INT, Al-Wehdat Goals INT) CREATE TABLE general (general_id AUTO_INCREMENT PRIMARY KEY, Software VARCHAR, Version VARCHAR, Operating systems VARCHAR, Developer VARCHAR, License VARCHAR) CREATE TABLE services (services_id AUTO_INCREMENT PRIMARY KEY, Platform INT, Frequency (per hour) INT, Destination VARCHAR, Service Pattern VARCHAR, Operator VARCHAR, Line VARCHAR) CREATE TABLE european_records (european_records_id AUTO_INCREMENT PRIMARY KEY, Competition VARCHAR, Appearances INT, Played INT, Drawn INT, Lost INT, Goals for INT, Goals against INT)  
SELECT COUNT License FROM general WHERE Software = Mind WorkStation