Figure 7: The variable structure is connected to the positive partition of the 3-way connector, which represents the clause containing two positive literals, and , and one negative literal, . Note that the 3-way connector has two positive partitions and one negative partition. The header nodes are indicated by squares or triangles surrounded by circles.