In view of the needs related to automatic language processing, we emphasize the necessity of applying formal methods in linguistics in general, and particularly in creation of dictionary entries. We present some of our ...