`` Tout est relatif.

''
x relatif(x)

`` Une porte est ouverte ou ferme. ''

x (porte(x) -> (ouvert(x) v ferm(x))

`` Tout ce qui brille n'est pas or. ''

x (brille(x) & ~or(x))

`` Il y a des peines, il y a des plaisirs, mais aucune peine n'est un plaisir. ''
( x peine(x)) & ( x plaisir(x)) & x (peine(x) -> ~plaisir(x))

`` Tous les chemins mnent Rome. ''

x (chemin(x) -> mme--Rome(x)

`` Pour tout entier il existe un entier plus grand. ''

x (entier(x) -> y (entier(y) & plus-grand(y,x)) )

`` Il existe un plus grand entier. ''

x (entier(x) & y (entier(y) -> plus-grand(x,y)) )