ACF Conditional Logic Extended