type of writing system Deductions metaclass is for example type of writing system ⇐ (type of writing system is a metaclass), (is a is inverse of is for example) type of writing system is for example alphabet ⇐ (alphabet is a type of writing system), (is a is inverse of is for example)