An inequality paradigm for probabilistic knowledge the augmented logic of conditional probability intervals