val pattern_ex :
  string ->
  Mathql.mquptoken list ->
  string -> int option * int option -> string list list