These are discussions on changes to the NORMA tool.
The August 2024 release makes significant changes to unary fact types. You can read about these changes at NORMA August 2024 Release, Unary Negation, etc. There is a corresponding video presentation at Unary Negation Overview