A Modal Symbolic Pattern Classifier