public interface B extends T_1, T_2, T_3 {} // - -- / * public interface B_1 extends T_2, T_3 {} // + -- /+ * public interface B_1_2 extends {} // + +- /+/+ * public interface B_1_3 extends {} // + -+ /+/-/+ * public interface B_2 extends T_1, T_3 {} // /-/+ public interface B_2_3 extends {} // - ++ /-/+/+ * public interface B_3 extends T_1, T_2 {} // - -+ /-/-/+ *