Before revision: Discourse representation structures can be used to implement natural language understanding software.
After revision: Discourse representation theories have been used to implement natural language understanding