grazie pater, ma non funziona lo stesso.
Ho risolto però scrivendo nello script verifica.php questo codice:
if (empty($_GET["cinema"])) {
$cinema=" ";
} else {
$cinema="cinema";
}
Se non fleggato, la variabile $cinema viene riconosciuta come non definita e la definisco memorizzando uno spazio.
Se invece viene fleggata, gli memorizzo il valore cinema.
Mi resta comunque il dubbio di come abbia fatto giorgiotave, nel suo esempio della guida PHP, a farlo funzionare senza questo stratagemma.
ciao