RuleConclusion
Exhaustive exceptionThe excluded general class is implicit, not spoken
Case after illāSet by the governor: agent, object, manner, or time
Logic of restrictionGeneral denial, then a particular affirmation
InnamāThe final qualifier is focused in the discussed order
GhayrLike illā, it can restrict in either direction
Coordinating lāCannot be appended to the particular restrictive form
This completes the account of why the devices of qasr convey restriction. The following major topic is inshāʾ: non-assertive expression, including requests and other utterances not primarily judged true or false.