Updated the way the ownership attributes are semantically diagnosed.  Added test cases for the semantics checks.