{1} Tutti i computer della base sono collegati a rete.
{2} Tutti i negozi sono dotati di un computer.
{3} La BC e' dotata di un computer.
{4} Tutti i negozi sono dotati di un rilevatore.
{5} La BC e' dotata di un rilevatore.
{6} La BC e' dotata di nuovi conti.
{7} La popolazione di Naxos e' composta da familiari religiosi appaltatori dipendenti della Starmine.
{8} Tutti gli abitanti sono dotati di un impianto cibernetico.
{9} Tutte le case sono associate a un intestatario.
{10} Ad ogni appaltatore corrisponde un negozio.
{11} Tutti i negozi sono associati a un intestatario.
{12} Tutti le case sono dotate di un computer.
{13} Tutti i negozi sono dotati di un fattorino.
{14} Tutti i fattorini sono dotati di un rilevatore manuale.
{15} Tutti i fattorini sono dotati di un computer portatile.
{16} La BC e' collegata al CED.
{17} Il CED invia tutti i dati degli abitanti alla BC.
{18} Il CED invia dati all'impianto cibernetico.
{19} L'insieme dei dati e' composto da nome cognome indirizzo stato di famiglia ammontare stipendio ammontare affitto.
{20} Il CED e' dotato di tutti i dati degli abitanti.
{21} Il PC invia tutte le informazioni sulle transazioni alla BC.
{22} Ad ogni conto corrisponde una scheda personale.
{23} La scheda personale e' composta da nome cognome saldo del conto.
{24} La BC elabora le informazioni usando le schede personali.
{25} La BC riceve informazioni da computer.
{26} La BC invia informazioni a computer.
{27} La Starmine e' dotata di un conto.
{28} Se gli abitanti hanno vecchi conti allora la BC li trasforma in nuovi conti.
{29} Se gli abitanti non hanno vecchio conto allora aprono un nuovo conto.
{30} L'impianto cibernetico invia segnali al rilevatore.
{31} Il rilevatore riceve segnali da impianto cibernetico.
{32} Il rilevatore invia segnali al computer.
{33} Il PC ricava dati clienti da segnali.
{34} Tutti gli abitanti sono dotati di un conto.
{35} Quando il rilevatore invia dati cliente, la BC identifica il cliente.
{36} Ad ogni conto corrisponde una scheda personale.
{37} Se il cliente ha del contante allora lo deposita in BC.
{38} Se i bambini hanno meno di 16 anni allora aprono un conto vincolato.
{39} La BC e' dotata di conti vincolati.
{40} Se il conto e' vincolato allora i genitori decidono l'importo massimo dei prelievi giornalieri.
{41} Ad ogni conto vincolato corrisponde una scheda personale vincolata.
{42} Gli abitanti acquistano oggetti.
{43} I negozi sono dotati di oggetti.
{44} Ad ogni oggetto corrisponde un prezzo.
{45} Se il cliente sceglie un oggetto allora lo porta alla cassa.
{46} La cassa e' dotata di rilevatore.
{47} Se il cliente va alla cassa allora il PC lo identifica.
{48} Il PC acquisisce il prezzo dal negoziante.
{49} Il PC calcola il valore della spesa usando il prezzo.
{50} Quando il cliente si collega con il PC, il PC lo saluta.
{51} Il PC richiede conferma del pagamento all' acquirente.
{52} Il PC riceve dal cliente la conferma del pagamento.
{53} Il PC riceve da BC la scheda personale del cliente.
{54} Il PC riceve la scheda personale del negoziante dalla BC.
{55} Il PC calcola la differenza fra importo della spesa e saldo del conto del cliente usando l' importo della spesa e saldo del conto del cliente.
{56} Se l'importo della spesa e' minore del saldo del conto del cliente allora il PC decrementa il conto dell'acquirente.
{57} Il PC modifica la scheda personale del cliente usando l'importo della spesa.
{58} Se l'importo della spesa e' maggiore del saldo del conto del cliente allora il PC richiede conferma richiesta prestito.
{59} Se il cliente conferma la richiesta prestito allora il PC richiede l'ammontare del prestito.
{60} Il PC modifica la scheda personale del cliente usando l'ammontare del prestito.
{61} Se il cliente conferma la richiesta prestito allora il PC richiede la modalita' di restituzione del prestito.
{62} Il PC modifica la scheda personale del cliente usando la modalita' di restituzione del prestito.
{63} Il PC richiede il codice di anonimato desiderato al cliente.
{64} Il PC invia saluti al cliente.
{65} Il PC modifica la scheda personale del negoziante usando l'importo della spesa.
{66} Quando il codice di anonimato e' 11, il PC registra il nome del cliente nella scheda del negoziante e il nome del negoziante nella scheda del cliente.
{67} Quando il codice di anonimato e' 01, il PC registra il nome del cliente nella scheda del negoziante.
{68} Quando il codice di anonimato e' 10,il PC registra il nome del negoziante nella scheda del cliente.
{69} Il PC modifica la scheda personale del negoziante usando l'importo della spesa.
{70} Il PC invia alla BC la scheda personale del cliente.
{71} Il PC invia alla BC la scheda personale del negoziante.
{72} Gli abitanti acquistano oggetti da casa.
{73} Ad ogni cliente corrisponde un PC.
{74} Il PC del cliente e' collegato al negozio.
{75} Il PC del cliente invia l' ordine di acquisto al PC del negozio.
{76} Quando il PC del negozio ha ricevuto l'ordine di acquisto, il fattorino recapita l'oggetto.
{77} Il rilevatore manuale del fattorino riceve segnali dall' impianto cibernetico del cliente.
{78} Il computer portatile e' collegato al negozio.
{79} La Starmine invia ammontare stipendi alla BC.
{80} La Starmine riceve ammontare affitti da appaltatori.
{81} Quando si giunge alla fine di ogni mese, la BC accredita gli stipendi dei dipendenti della Starmine.
{82} Quando le rate del prestito scadono, la BC decrementa i conti.
{83} Quando si giunge al 31 dicembre di tutti gli anni, la BC accredita gli interessi attivi sui conti.
{84} Quando il correntista fa una donazione, si reca alla BC.
{85} Il PC chiede l'ammontare della donazione al correntista.
{86} Quando si giunge alla fine di ogni mese, la BC decrementa il conto dell'intestatario della casa dell' ammontare dell'affitto.
{87} Quando si giunge alla fine di ogni mese, la BC decrementa il conto dell'intestatario del negozio dell' ammontare dell'affitto.
{88} Quando si giunge alla fine di ogni mese, la BC incrementa il conto della Starmine dell' ammontare degli affitti.
{89} Quando si giunge alla fine di ogni mese, la BC rileva i consumi di risorse.
{90} Quando la BC rileva il consumo di risorse, la BC decrementa il conto dell'intestatario dell'importo del consumo.
{91} La clientela dei negozi e' costituita da familiari dipendenti appaltatori religiosi.
