L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>
SG = <http://www.simantics.org/Scenegraph-1.1>
SEL = <http://www.simantics.org/SelectionView-1.2>
DOC = <http://www.simantics.org/Document-1.2>

DOC.WikiDocument.WikiDocumentBinding : DOC.DocumentTypeBinding
    DOC.DocumentTypeBinding.HasType DOC.WikiDocument
    DOC.DocumentTypeBinding.HasDocumentType DOC.WikiDocument.WikiDocumentTemplate

DOC.WikiDocument.WikiDocumentTemplate <T DOC.Scenegraph.Composite
    >-- DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation <R DOC.WikiDocument.wikiText : SG.LiftedPropertyRelation
        --> DOC.WikiDocument.WikiText
    @L0.assert DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation
        "User documentation" : DOC.WikiDocument.WikiText
    @L0.assert SG.Node.children
        _ : L0.List
            @L0.list
                DOC.WikiDocument.WikiDocumentTemplate.Header : DOC.Scenegraph.Wiki
                    DOC.Scenegraph.Wiki.text "" 
                DOC.WikiDocument.WikiDocumentTemplate.User : DOC.Scenegraph.Wiki
                    DOC.Scenegraph.Node.printInPDF true
                    DOC.Scenegraph.Wiki.text
                        @SG.lifted DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation