The group !a[4..1] is interpreted as (!a4, !a3, !a2, !a1).
!a[4..1]
(!a4, !a3, !a2, !a1)
- PLDWorld -