draining

source/Device.en.tex

@@ -4,8 +4,8 @@
 \begin{mhmodnl}{Device}{en}
   \begin{definition}
     To model properties of physical objects, we assume a \defi{device} under
-    consideration, which is determined by a collection of \adefii{device
-      properties}{device}{property}.
+    consideration, which is determined by a collection of
+    \defii[name=device-property]{device properties}.
   \end{definition}
 \end{mhmodnl}
 \end{document}