Update README.md

README.md

@@ -43,7 +43,7 @@ their discussion areas.
   [mathematical search engines](http//search.mathweb.org)); #2 #6
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the
   [MathHub System](http://mathhub.info)). #7
-* Active Dokuments and the integration of semantic services into technical/mathematical
+* Active Dokuments and the integration of semantic services into legal/technical/mathematical
   documents (e.g. for course materials): #9 #23
 * Interoperability and integration of mathematical software systems - e.g. computer
   algebra, math data bases, theorem provers (in the