Blue<br>We have a cat named Blue. We found him as a small kitten. He has very large ears. Even small noises make him jump! He is the biggest scaredy-cat I have ever seen!
At least one cat is named Blue.
( z1 name :ARG1 ( z2 cat :quant ( z3 at-least :op 1 ) ) :ARG2 ( z4 name :op "Blue" ) )