L'ultimo passo è quello di convertire le espressioni da QLF a formule della logica del I° ordine. Per ogni termine quantificato [ q x P(x) ] all'interno di una QLF, si rimpiazza l'espressione QLF con :

q x P(x) op QLF, dove op è Þ quando q è " , ed è Ù quando q è $ o $ !

Es: Every dog has a day (Ognuno ha il suo raggio di sole. Letteralmente: ogni cane ha il suo giorno)

Diventa in forma quasi-logica:

$e eÎ Has(["d Dog(d)],[ $a Day(a)],Now)

Non avendo specificato quale dei due termini quantificati venga rimpiazzato per primo ho due possibilità:

"d Dog(d) Þ $a Day(a) Ù $e e Has(d,a,now) (ogni cane ha il suo giorno)

$a Day(a) Ù "d Dog(d) Þ $e e Has(d,a,now) ( esiste un giorno comune a tutti i cani)

Dall'esempio risulta chiaro come una forma quasi logica rappresenti succintamente le varie possibilità; lo svantaggio è che non aiuterà la disambiguazione a scegliere quella giusta.