Spec: update the falling spec for inheritance