if *x is part of *y and *y is part of *z then *x is part of *z.