Begin.

Implementation of a dichotomous table of bats using Notation 3 and SWeLL.

block 1 is active.

block 1.
if block 1 is active and the nose is leaflike then block 2 is active.
if block 1 is active and the nose is not leaflike then block 3 is active.

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.

End.