DEFINITION A = [aeiou] DEFINITION B = {A}|r MAXLEN {B}cd|ad MAXLEN a*[acv]|abc