La forma quasi_logica è una forma intermedia che sfrutta la struttura sintattica della frase e allo stesso tempo può essere tradotta in logica. Una forma quasi_logica usata è quella che aumenta la logica del primo ordine con le l -espressioni e un costrutto detto termine quantificato (scritto: " x termine (x)).

Per costruire una grammatica che porti sempre alla corretta interpretazione semantica si può procedere nel modo seguente:

1. Scegliere la forma quasi_logica che si vuole generare corredandola con frasi esemplificative e corrispondenti forme logiche
2. Modificare leggermente gli esempi e studiare le corrispondenti variazioni nelle forme logiche
3. Specificare per ogni categoria della frase i tipi logici fondamentali abbinando i "tipi semantici". Tutto ciò che c'è in una categoria ha lo stesso tipo semantico (si può usare anche l'intuizione)
4. Ora si può provare a modificare un sintagma alla volta i propri esempi
5. Aggiungere alle regole della grammatica opportuni aumenti d'interpretazione semantica. Es: NP(sem)®Pronome(sem)
6. Se il lato destro di una grammatica contiene una interpretazione semantica che è funzione di uno o più oggetti è sufficiente applicare la relazione a tutti gli oggetti. Es: S(rel(obj))®NP(obj) VP(rel)
7. Può essere necessario concatenare la semantica dei costituenti per ottenere la semantica dell'intera frase
8. In alcuni casi può essere necessario separare uno dei costituenti prima di rimettere insieme la semantica dell'intera frase.