Appendix IV. Examples of formal answering systems