- DOCUMENT@0..1
    - WHITESPACE@0..1 " "
- ERROR@0:6 "Invalid Type System Extension. This extension cannot be applied." extend
- ERROR@7:10 "expected definition" Cat
