Implementation of a dichotomous table of bats using Notation 3 and SWeLL.
test
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.