Both local head-complement rules (na_or_−) and complement extraction rules (na_or_+) are made sensitive to this distinction.
of this feature, we expect some considerable reduction in chart size: with the exception of relativised arguments, all arguments will be marked as either local or non-local, thereby eliminating a great deal of non-determinism.