the statement 'i_b_m is a kind of p_c' helps answer the question 'what is ibm?'