On the Structure of Natural Deduction Derivations for “Generally”