struct Top

struct A < Top

struct B < A

struct C < A

struct D < B,C

struct Bot < D

struct E < B

struct F < C