{a_label}
{a}
{a_and_b_label}
{a_and_b}
{b_label}
{b}
{a_and_not_b_label}
{a_and_not_b}
{b_and_not_a_label}
{b_and_not_a}
{not_b_label}
{not_b}
{not_a_label}
{not_a}
{not_a_and_not_b_label}
{not_a_and_not_b}