Definition of ConjunctionInference