semantic consequence