Riconoscere un modello su $SOL.