restriction de conjonction [ généralisation par omission de conditions | abandon de conditions | règle de l'oubli des conjonctions | règle de l'oubli | règle de suppression des conjonctions | règle d'abandon de prédicat ]
dropping condition rule [ dropping conditions ]