more work on syntax definition