Updated SAC15-syntax paper