prag($tindex_split_arg_clau1,4, index(2)).
prag($tindex_genpred,7, index(4)).
prag($tindex_newclau1,5, index(2)).
prag($tindex_genclau1,4, index(2)).
