clause partitioning