premise: carve one
hypothesis: a specific type of , the following is a more specific type of  is magnetic disk (or magnetic disc, disk), defined as '(computer science) a memory device consisting of a flat disk covered with a magnetic coating on which information is stored' .