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