Compute PredicatesΒΆ