Text this: COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.