en:logic_sentences