Instruct: What is the sum of Year with a Type of informal, and a Location with justus lipsius building, brussels, and a Date with 23 may?
Output: SELECT SUM Year FROM table WHERE Type = informal AND Location = justus lipsius building, brussels AND Date = 23 may