6. Constructions signifying "restriction" and "exceptional conjoining"

Constructions signifying "restriction" and constructions signifying "exceptional conjoining" are constructions with two related meanings:

Both meanings are represented by the functor RESTR (see Section 6.10, "RESTR"); in the resultant annotation the constructions are differentiated, however. The representation of the two types of construction are therefore described separately in the following sections.