partial left key definition