changed to aaai format