[defns.valid] Elaborate on cause in example and add cross-references

[defns.valid] Elaborate on cause in example and add cross-references #7785