; US states
%-

(:def state
  (:oneof
    (| "Maryland")
    (| "Illinois")
    (| "Wisconsin")
    (| "Texas")
    (| "California")
    (| "New Hampshire")))