A general formal model for representing test item results