If a language possesses simple and distributive-share universal quantifiers, then the distributive-share universal quantifier is derived from the simple universal quantifier by a morphosyntactic process.
Standardized
IF there is simple and distributive-share universal quantifiers, THEN the distributive-share universal quantifier is derived from the simple universal quantifier by a morphosyntactic process.