1. Bach Chorales: Time-series data based on chorales; challenge is to learn generative grammar; data in Lisp
2. Artificial Characters: Dataset artificially generated by using first order theory which describes structure of ten capital letters of English alphabet
3. Mechanical Analysis: Fault diagnosis problem of electromechanical devices; also PUMPS DATA SET is newer version with domain theory and results