Modeling psychopathology: From data models to formal theories. · Study