Predication Theory: A Case Study For Indexing Theory