--- /dev/null
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+L0X = <http://www.simantics.org/Layer0X-1.1>\r
+SG = <http://www.simantics.org/Scenegraph-1.1>\r
+SEL = <http://www.simantics.org/SelectionView-1.2>\r
+DOC = <http://www.simantics.org/Document-1.2>\r
+\r
+DOC.WikiDocument.WikiDocumentBinding : DOC.DocumentTypeBinding\r
+ DOC.DocumentTypeBinding.HasType DOC.WikiDocument\r
+ DOC.DocumentTypeBinding.HasDocumentType DOC.WikiDocument.WikiDocumentTemplate\r
+\r
+DOC.WikiDocument.WikiDocumentTemplate <T DOC.Scenegraph.Composite\r
+ >-- DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation <R DOC.WikiDocument.wikiText : SG.LiftedPropertyRelation\r
+ --> DOC.WikiDocument.WikiText\r
+ @L0.assert DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation\r
+ "User documentation" : DOC.WikiDocument.WikiText\r
+ @L0.assert SG.Node.children\r
+ _ : L0.List\r
+ @L0.list\r
+ DOC.WikiDocument.WikiDocumentTemplate.Header : DOC.Scenegraph.Wiki\r
+ DOC.Scenegraph.Wiki.text "" \r
+ DOC.WikiDocument.WikiDocumentTemplate.User : DOC.Scenegraph.Wiki\r
+ DOC.Scenegraph.Node.printInPDF true\r
+ DOC.Scenegraph.Wiki.text\r
+ @SG.lifted DOC.WikiDocument.WikiDocumentTemplate.UserDocumentation\r