This requirement can be formulated as follows: This constraint ensures that the SUBCAT list of any given sign cannot contain as its member an S ([HEAD verb, SUBCAT ()]) which has an [ID +] FOC value.
no subcategorized clause can inherit an [ID +] FOC value from a phrase inside it.