The statement "i_b_m is a type of p_c" helps answer the question "what is ibm?"