Sentences containing adverbial modifications and ... I use the abstraction operator to solve the scope issue, thus permitting more natural conjunctive formalizations and eventually the adverb-dropping ...