Generation as structure driven derivation · Study