Semanto-pragmatic classification of conditionals