Ovviamente la soluzione proposta non e' l'unica possibile.
La segnatura sara'
<div align=center>
{{Mario<sup>0</sup>,Antonio<sup>0</sup>},{Persona<sup>1</sup>, Conoscente<sup>2</sup>,Cittadino<sup>2</sup>}}
</div>
Come struttura prendiamo la tripla &lt;A,F,P&gt; dove:<br>
 il supporto A
e' l'insieme delle nazioni unito a quello delle persone;<br>
F associa alla costante (funzione 0-aria) 'Mario' una certa persona di nome Mario;
a 'Antonio' una certa persona di nome Antonio, a 'Italia' la nazione italiana
e a 'Francia' la nazione francese;
<br>
P associa a 'Persona' la proprieta' (relazione unaria) di essere una persona, a 'Conoscente' la relazione tra persone che si conoscono,
a 'Cittadino' la relazione tra una nazione ed i suoi cittadini. 

<br>
<br>
<br>


<div align=center>
(&forall;x. Persona(x) &and; Conoscente(x,Mario) &and; Conoscente(x, Antonio) ) &rarr; Cittadino(x, Italia))&and;
(&exist; y. Persona(y) &and; Conoscente(y,Mario) &and; Cittadino(y, Francia))
</div>

<br>
------------------------
<br>
(Soluzione alternativa; by HashiramaYaburi )<br>
<br>
La segnatura sara'
{{M<sup>0</sup>,A<sup>0</sup>},{it<sup>1</sup>, fr<sup>1</sup>,con<sup>2</sup>}}<br>
Come struttura prendiamo la tripla &lt;A,F,P&gt; dove:
il supporto A e' l'insieme delle persone della Terra;
F associa alla costante (funzione 0-aria) 'M' una certa persona di nome Mario; a 'A' una certa persona di nome Antonio;
P associa a 'it' la proprieta' (relazione unaria) di essere un italiano, 'fr' la proprieta' (relazione unaria) di essere un francese, a 'con' la relazione (relazione binaria simmetrica) che indica che una persona ne conosce un'altra (es. con(x,y) x conosce y e viceversa).
<div align=center>
(&forall;x.(con(x,M0)&and; con(x,A)) &rarr; it(x) ) &and; (&exist; y. con(y,M) &and; fr(y) )
</div>