academic major Deductions academic major is for example art ⇐ (art is a academic major), (is a is inverse of is for example)