and-or junction: case7.dia