Si definisca un agente TimeProvider che risponde a performative di tipo REQUEST con content ``Che ora e'?'' inviando un messaggio di tipo INFORM contenente l'ora di sistema corrente. Si noti che se il messaggio inviato non è di tipo REQUEST allora l'agente TimeProvider invia come risposta un messaggio di tipo REFUSE. Se il content della REQUEST non è di tipo ``Che ora e'?'' allora TimeProvider risponde con un messaggio di tipo NOT-UNDERSTOOD. Si definiscano uno o più agenti che richiedono l'ora a TimeProvider.