THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION