::
Si in effetti non verrebbe fuori una cosa esteticamente accettabile, alla fine la lascio così. Si la spada sta ad indicare il sequente di “partenza” diciamo relativo a quella riga, del quale andiamo a costruire la semantic tableaux….
Cmq grazie mille davvero per l’aiuto!!
Ciao
