InizioSpecificaAttivitaAtomica

VerificaGiocabilita'(p:Partita):(ok:Boolean)
	
Pre: 	--

Post: 	ok = (EXISTS <pm,p> in giocatori : pm in Ragazzo) AND
		     (EXISTS <pf,p> in giocatori : pf in Ragazza)
  
FineSpecifica


