a | ( b | c )