Each row in this table denotes the types subsumed by the current type.
even without the direct inheritance information from Figure 2, we can tell from Figure 3 that type b is equal to or more general than type b, d, e, f, and glb1.