sawine@1: constraint       = "constraint" id "(" constraint_term ")"
sawine@1: 
sawine@1: constraint_term  = "time_sep" "at" (string | string_array) 
sawine@1:                      "is" int si_unit 
sawine@1:                      [ "from" int "until" int ]
sawine@1:                      [ "at" "fl" int_array ]
sawine@1: 		   | constraint_term "and" constraint_term
sawine@1: si_unit          = "s" | "min"