Properties of Input-Consuming Derivations