There is a bright blue helmet in front of a long line of motorcycles.
There is no motorcycles allowed in this county.
If there are no motorcycles allowed, then there cannot be a long line of motorcycles.
exists p1 x1 s1 s2 s3 x2 x3 x4 x5.((x1 = x2) & in(x2,x3) & of(x3,x4) & of(x4,x5) & n_motorcycle(x5) & n_line(x4) & a_long(s3) & Theme(s3,x4) & n_front(x3) & n_helmet(x2) & a_blue(s2) & Theme(s2,x2) & a_bright(s1) & Theme(s1,x2))
exists p1 x1 x4.(n_county(x4) & -exists e1 x2 x3.((x1 = x2) & in(e1,x4) & Theme(e1,x3) & v_allow(e1) & (x2 = x3) & n_motorcycle(x2)))