Implemented rule checked construction of properties