Downgraded Scala version.
Added individuals, property assertions, some annotations.