Automatic semantic interpretation by Bakel