Formal approach to spanish syntax by Hallebeek