APPROVED Jeremy J. Carroll This description cannot be expressed as a multicomponent restriction in the abstract syntax.