Note that 5-7 procedures are carried out manually while the phase is significantly facilitated by graphical proofs produced by LangPro.
6 there were collected around 30 new rules where about a third of them are admissible ones; the new rules cover phenomena like noun and adverbial modifiers, prepositional phrases, passive constructions, expletive sentences, verbparticle constructions, auxiliaries, light verb constructions, etc.