Southern Bantoid Deductions language family is for example Southern Bantoid ⇐ (Southern Bantoid is a language family), (is a is inverse of is for example) East Bantu is subclass of Southern Bantoid ⇐ (East Bantu is subclass of Bantu), (Bantu is subclass of Southern Bantoid), (is subclass of is a transitive relation)