On some categorical-algebraic conditions in S-protomodular categories (Logical Methods in Computer Science, 2017)