Details on some grammar extraction initiatives