Automated feedback generation for formal manufacturing rule extraction. Issue 3 (19th March 2019)