cheerleading Deductions type of dance is for example cheerleading ⇐ (cheerleading is a type of dance), (is a is inverse of is for example)