Il suo odore dopo la pioggia. Io e Ubac, dieci anni d'amore di Cédric Sapin-Defour (Salani)

 Dominio:

• C = Insieme di tutti i personaggi (Cédric, Ubac)
• E = Insieme di tutti gli eventi (incontro con il cucciolo, crescita di Ubac, esperienze condivise)
• S = Insieme di tutti gli stati d'animo (solitudine, gioia, dolore)
• T = Tempo

Relazioni:

• ha_cucciolo(c, u): c (Cédric) ha un cucciolo u (Ubac)
• cresce(u, t): u (Ubac) cresce nel tempo t (Tempo)
• condivide_esperienza(c, u, e): c (Cédric) e u (Ubac) condividono un'esperienza e (Esempio: pioggia)
• provoca_stato_d'animo(e, s): e (Evento) provoca uno stato d'animo s (Stato d'animo)
• cambia_idea(c, e): e (Evento) cambia l'idea di c (Cédric) del mondo e dell'amore

Funzione:

f(c, u, t) = {

// Incontro con il cucciolo

ha_cucciolo(c, u) ∧ t = t_0

// Crescita del cucciolo

∀t > t_0 : cresce(u, t)

// Esperienze condivise

∃e ∈ E : ∀t > t_0 :

condivide_esperienza(c, u, e) ∧

provoca_stato_d'animo(e, s)

// Cambiamento interiore

∃e ∈ E :

cambia_idea(c, e)

}

Proprietà:

• La funzione f è monotona crescente in t.
• La funzione f è continua in t.
• La funzione f è illimitata in t.

Interpretazione:

La funzione f descrive l'evoluzione del rapporto tra Cédric e Ubac nel tempo. La crescita di Ubac e le esperienze condivise con Cédric provocano in lui una serie di stati d'animo e cambiano la sua idea del mondo e dell'amore. La funzione è monotona crescente in t perché il legame tra Cédric e Ubac si rafforza con il tempo. La funzione è continua in t perché non ci sono eventi improvvisi che cambiano radicalmente il rapporto. La funzione è illimitata in t perché il legame tra Cédric e Ubac è destinato a durare per sempre.