move remnant axioms

[stap-m]

Summary of the discussion

Cleaning axioms in oeo-model and oeo-social
From #1703

PR-Assignee

• 🐙 Follow the Pull Request Workflow
• 📝 Update the CHANGELOG.md
• 📙 Add #'s to term tracker item

Reviewer

• 🐙 Follow the Reviewer Guide
• 🐙 Provided feedback and show sufficient appreciation for the work done

[stap-m]

• We have life time and operational life time in oeo-physical. Its subclass economic life time lives currently in oeo-social. Options:

1. move the life time class hierarchy to oeo-shared
2. move economic life time also to oeo-physical

[l-emele]

I suggest doing what is the smaller effort now which is in my view moving economic lifetime to oeo-physical. Looking at all the time span classes, I think we have to rework them sooner or later anyway. E.g. once we deal with #1510 .

[l-emele]

Looks fine.

Side note: I struggeled a bit with commit d344185 and only saw later that you reverted it in b937502. It would have been helpful for reviewing if you had mentioned this mistake somewhere in the PR.

[stap-m]

Looks fine.

Side note: I struggeled a bit with commit d344185 and only saw later that you reverted it in b937502. It would have been helpful for reviewing if you had mentioned this mistake somewhere in the PR.

I am sorry, thats right. Thanks for the review.