Popular types of conditionals include actualization conditionals, inferential conditionals, implicative conditionals, etc (Declerck and Reed, 2001).
these classifications are mainly based on semantic meanings which are difficult to recognize by a computer program.