Some thoughts about optimizable resolution semantics