prag($complementary,3, index). prag($inline_neg,2, index).