Now feeding in the actual grammar (though not complete).