Before revision:  We leverage declarative knowledge expressed in both natural language and first-order logic  .
After revision:  Specifically, we leverage the declarative knowledge expressed in both natural language and first-order logic .