prag($inprog01,3, index). prag($inp_get_chunk_lastgoals,4, index).