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