negEx(parse([b,b,a,b,a,a,b,a,b,a,b,a,b,b])).
posEx(parse([b,b,b,b,b])).
negEx(parse([a,b,a])).
posEx(parse([b,b])).