<html>
<head><title></title></head>
<body>
Implementation of a dichotomous table of bats using Notation 3 and
SWeLL.
<hide>test</hide>
<i>block 1</i> <b>is</b>
<u>active</u>.
block 1.
<b>if</b> <i>block 1</i> <b>is</b>
<u>active</u> <b>and</b> <I>the nose</I>
<b>is</b> <u>leaflike</u> <b>then</b>
<I>block 2</I> <b>is</b> <u>active</u>.<br>
<b>if</b> <i>block 1</i> <b>is</b>
<u>active</u> <b>and</b> <I>the nose</I>
<b>is not</b> <u>leaflike</u> <b>then</b>
<I>block 3</I> <b>is</b> <u>active</u>.<br>
block 2.
if block 2 is active and the
underarm is 54-58 mm then the species is Rhinolophus ferrum equinum.
if block 2 is active and the
underarm is 39-42 mm then the species is Rhinolophus hiposideros.
block 3.
if block 3 is active and the ears are merged then block 4 is active.
if block 3 is active and the ears are not merged then block 5 is active.
</body>
</html>