string Deductions data type is for example string ⇐ (string is a data type), (is a is inverse of is for example) word is subclass of string ⇐ (non-word is subclass of string), (non-word is opposite of word)