ATP 5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate L-aspartate = ADP phosphate (S)-2-(5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxamido)succinate (according to Swiss-Prot)

5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate + ATP + L-aspartate --> (2S)-2-[5-amino-1-(5-phospho-β-D-ribosyl)imidazole-4-carboxamido]succinate + ADP + 2 H⁺ + phosphate (according to UniProt)