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.