Generate logical specification based on matched fragments.
Add script to generate logical specification outside the application.