Class ModelReasoner