nell'output di spass, dove vedo (se la vedo) l'applicazione delle regole di INFERENZA (non di riduzione)?