Recently I updated to the latest version of NORMA. Soon after I noticed in my older models that NORMA signals error - with regard to objectifications - in places that for sure were error-free before the last update.
To reproduce the error, I have created
- one entity named Item, and
- one fact type: 'Item directly precedes ...