prag($proc_occ1,4, index(3)). prag($proc_mark_last_lits,1, index).