3. Content Reconciliation
Several tests involving content:
1. inconsistent/missing names (MIKRO)
2. ISA overloading (subset and element) (SENSUS and MIKRO)
3. relation or concept? (SENSUS)
4. strong vs. weak inheritance (MIKRO)
5. role constraints: type or filler?
Status: SENSUS OK; MIKRO being debugged