+ DocBookRenderAsImage true
+End
+
+
+#
+# Discourse Representation Structures
+#
+
+InsetLayout Flex:DRS
+ LyXType custom
+ LabelString DRS
+ MenuString "Discourse Representation Structure|D"
+ LatexType command
+ LatexName drs
+ Decoration classic
+ MultiPar true
+ CustomPars false
+ ParbreakIsNewline true
+ FreeSpacing true
+ Requires drs
+ ResetsFont true
+ Argument 1
+ Decoration conglomerate
+ LabelString "Referents"
+ MenuString "DRS Referents"
+ Tooltip "Add the DRS referents (universe) here"
+ Mandatory true
+ AutoInsert true
+ EndArgument
+End
+
+
+InsetLayout Flex:DRS*
+ CopyStyle Flex:DRS
+ LabelString DRS*
+ MenuString "Discourse Representation Structure (unspaced)|u"
+ LatexName drs*
+End
+
+
+InsetLayout Flex:IfThen-DRS
+ CopyStyle Flex:DRS
+ LabelString "If-Then DRS"
+ MenuString "If-Then DRS"
+ LatexName ifdrs
+ Argument post:1
+ Decoration classic
+ LabelString "Then-Referents"
+ MenuString "DRS Then-Referents"
+ Tooltip "Add the DRS then-referents (universe) here"
+ Mandatory true
+ AutoInsert true
+ InsertOnNewline true
+ EndArgument
+ Argument post:2
+ Decoration classic
+ LabelString "Then-Conditions"
+ MenuString "DRS Then-Referents"
+ Tooltip "Add the DRS then-conditions here"
+ Mandatory true
+ AutoInsert true
+ InsertOnNewline true
+ EndArgument
+End
+
+
+InsetLayout Flex:Cond-DRS
+ CopyStyle Flex:DRS
+ LabelString "Cond. DRS"
+ MenuString "Conditional DRS"
+ LatexName condrs
+ Argument post:1
+ Decoration classic
+ LabelString "Cond."
+ MenuString "DRS Condition"
+ Tooltip "Add the DRS condition here"
+ Mandatory true
+ AutoInsert true
+ InsertOnNewline true
+ EndArgument
+ Argument post:2
+ Decoration classic
+ LabelString "Then-Referents"
+ MenuString "DRS Then-Referents"
+ Tooltip "Add the DRS then-referents (universe) here"
+ Mandatory true
+ AutoInsert true
+ InsertOnNewline true
+ EndArgument
+ Argument post:3
+ Decoration classic
+ LabelString "Then-Conditions"
+ MenuString "DRS Then-Referents"
+ Tooltip "Add the DRS then-conditions here"
+ Mandatory true
+ AutoInsert true
+ InsertOnNewline true
+ EndArgument