Before revision:  There are tools based on discourse representation theory to convert sentences automatically into a formal logical representation .
After revision:  There are tools based on discourse representation theory to convert sentences automatically into a formal logic representation, and additional knowledge can be added using the predicate names in the formula and knowledge databases .