(~(<1>(a|~a)) & ~(<2>(a|~a))  & ~(<-2>(a|~a)) & ~(<-1>(a|~a)) ) | b