Thought experiments to test ourselves: Validity — rules

A simple schema for a simple language, prose:

Same, formal (RELAX NG Compact):

An Introduction to XML, slide 16 of 17