Sentence logic