[
  $[ %+V      %+Inf]
| $[ %+V %+IV %+Inf]
| $[ %+V %+TV %+Inf]
& ~$[ %+None  ]
& ~$[ %+First ]
& ~$[ %+Last  ]
& ~$[ %+CmpOnly ]
];