2023-07-21 12:31:45 +00:00
|
|
|
#\DeclareLyXModule[covington.sty,drs.sty,forest.sty,pict2e.sty,varwidth.sty]{Linguistics}
|
2019-04-07 09:21:21 +00:00
|
|
|
#\DeclareCategory{Academic Field Specifics}
|
2008-01-09 18:51:02 +00:00
|
|
|
#DescriptionBegin
|
|
|
|
#Defines some special environments useful for linguistics (numbered examples,
|
2008-09-07 11:54:13 +00:00
|
|
|
#glosses, semantic markup, tableau floats).
|
2023-01-16 16:02:17 +00:00
|
|
|
#See Help > Specific Manuals > Linguistics.
|
2008-01-09 18:51:02 +00:00
|
|
|
#DescriptionEnd
|
2007-12-21 12:12:19 +00:00
|
|
|
|
|
|
|
# Author: Jürgen Spitzmüller <spitz@lyx.org>
|
|
|
|
|
2023-07-28 22:21:47 +00:00
|
|
|
Format 104
|
2007-12-21 12:12:19 +00:00
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
#
|
|
|
|
# Counters
|
|
|
|
#
|
|
|
|
|
2016-10-14 09:40:53 +00:00
|
|
|
Counter example
|
2020-05-03 02:37:18 +00:00
|
|
|
GuiName Example
|
2016-10-14 09:40:53 +00:00
|
|
|
Within chapter
|
2016-10-14 18:09:25 +00:00
|
|
|
LabelString "(\arabic{example})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "(\arabic{example})"
|
2016-10-14 09:40:53 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Counter examplei
|
2020-05-05 12:41:38 +00:00
|
|
|
GuiName "Numbered Example (Multiline)"
|
2016-10-14 09:40:53 +00:00
|
|
|
Within chapter
|
2016-10-14 18:09:25 +00:00
|
|
|
LabelString "(\arabic{examplei})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "(\arabic{examplei})"
|
2016-10-14 09:40:53 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Counter subexample
|
2020-05-05 12:41:38 +00:00
|
|
|
GuiName Subexample
|
2016-10-14 09:40:53 +00:00
|
|
|
Within examplei
|
2016-10-14 18:09:25 +00:00
|
|
|
LabelString "\theexamplei (\alph{subexample})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "\theexamplei (\alph{subexample})"
|
2016-10-14 09:40:53 +00:00
|
|
|
End
|
|
|
|
|
2020-05-05 12:41:38 +00:00
|
|
|
Counter subexamplei
|
|
|
|
GuiName Subexample
|
|
|
|
Within examplei
|
|
|
|
LabelString "\theexamplei (\alph{subexamplei})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "\theexamplei (\alph{subexamplei})"
|
2020-05-05 12:41:38 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Counter subexampleii
|
|
|
|
GuiName Subexample
|
|
|
|
Within examplei
|
|
|
|
LabelString "\theexamplei (\alph{subexampleii})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "\theexamplei (\alph{subexampleii})"
|
2020-05-05 12:41:38 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Counter subexampleiii
|
|
|
|
GuiName Subexample
|
|
|
|
Within examplei
|
|
|
|
LabelString "\theexamplei (\alph{subexampleiii})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "\theexamplei (\alph{subexampleiii})"
|
2020-05-05 12:41:38 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Counter subexampleiv
|
|
|
|
GuiName Subexample
|
|
|
|
Within examplei
|
|
|
|
LabelString "\theexamplei (\alph{subexampleiv})"
|
2023-07-28 22:22:14 +00:00
|
|
|
PrettyFormat "\theexamplei (\alph{subexampleiv})"
|
2020-05-05 12:41:38 +00:00
|
|
|
End
|
2017-02-21 06:11:23 +00:00
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
#
|
|
|
|
# Numbered Examples
|
|
|
|
#
|
|
|
|
|
|
|
|
# Single numbered example with covington.sty
|
2007-12-21 12:12:19 +00:00
|
|
|
Style Numbered_Example_(multiline)
|
|
|
|
LatexType Environment
|
2016-07-08 08:04:24 +00:00
|
|
|
LatexName covexample
|
2007-12-21 12:12:19 +00:00
|
|
|
NextNoIndent 1
|
2016-10-14 18:09:25 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
ParIndent (1)x
|
2007-12-21 12:12:19 +00:00
|
|
|
LabelSep xx
|
|
|
|
ParSkip 0.0
|
|
|
|
ItemSep 0.2
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.3
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Static
|
2016-10-14 18:09:25 +00:00
|
|
|
LabelCounter "examplei"
|
2007-12-21 12:12:19 +00:00
|
|
|
LabelFont
|
2020-12-11 10:46:31 +00:00
|
|
|
Color textlabel1
|
2007-12-21 12:12:19 +00:00
|
|
|
EndFont
|
2008-01-07 16:59:10 +00:00
|
|
|
Requires covington
|
2023-07-20 13:09:47 +00:00
|
|
|
Argument 1
|
|
|
|
LabelString "Example options"
|
|
|
|
MenuString "Examples options|s"
|
|
|
|
Tooltip "Add examples options here"
|
|
|
|
PassThru 1
|
|
|
|
EndArgument
|
2012-10-09 08:59:19 +00:00
|
|
|
Category Linguistics
|
2020-09-01 22:46:08 +00:00
|
|
|
DocBookWrapperTag informalexample
|
|
|
|
DocBookWrapperAttr role='numbered'
|
|
|
|
DocBookWrapperMergeWithPrevious true
|
|
|
|
DocBookTag para
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
# Multiple numbered examples with covington.sty
|
2007-12-21 12:12:19 +00:00
|
|
|
Style Numbered_Examples_(consecutive)
|
|
|
|
CopyStyle Numbered_Example_(multiline)
|
|
|
|
LatexType Item_Environment
|
2016-07-08 08:04:24 +00:00
|
|
|
LatexName covexamples
|
2016-10-14 09:40:53 +00:00
|
|
|
LabelType Enumerate
|
|
|
|
LabelCounter "example"
|
2016-10-14 18:09:25 +00:00
|
|
|
ResumeCounter true
|
2018-08-17 08:22:32 +00:00
|
|
|
Argument listpreamble:1
|
|
|
|
LabelString "List preamble"
|
|
|
|
MenuString "List Preamble"
|
|
|
|
Tooltip "LaTeX code to be inserted before the first item"
|
|
|
|
PassThru 1
|
|
|
|
Font
|
|
|
|
Family typewriter
|
|
|
|
Color latex
|
|
|
|
EndFont
|
|
|
|
EndArgument
|
2015-04-20 10:15:20 +00:00
|
|
|
Argument item:1
|
2023-07-20 13:09:47 +00:00
|
|
|
LabelString "Judgment|J"
|
|
|
|
Tooltip "Grammaticality judgment marker"
|
|
|
|
LeftDelim <
|
|
|
|
RightDelim >
|
|
|
|
EndArgument
|
|
|
|
Argument item:2
|
2015-04-20 10:15:20 +00:00
|
|
|
LabelString "Custom Numbering|s"
|
|
|
|
Tooltip "Customize the numeration"
|
|
|
|
EndArgument
|
2020-09-01 22:46:08 +00:00
|
|
|
DocBookWrapperTag informalexample
|
|
|
|
DocBookWrapperAttr role='consecutive'
|
|
|
|
DocBookWrapperMergeWithPrevious true
|
|
|
|
DocBookTag para
|
2022-12-04 19:33:29 +00:00
|
|
|
HTMLClass NumberedExample
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
# Sub-examples with covington.sty
|
2007-12-21 12:12:19 +00:00
|
|
|
Style Subexample
|
2015-04-20 10:15:20 +00:00
|
|
|
CopyStyle Numbered_Examples_(consecutive)
|
2018-09-08 07:50:48 +00:00
|
|
|
LatexName covsubexamples
|
2016-10-14 09:40:53 +00:00
|
|
|
LabelCounter "subexample"
|
2020-12-05 21:46:19 +00:00
|
|
|
StepParentCounter true
|
2018-09-08 07:50:48 +00:00
|
|
|
Requires covington
|
2019-06-22 11:56:12 +00:00
|
|
|
Argument 1
|
|
|
|
LabelString "Subexamples options"
|
|
|
|
MenuString "Subexamples options|s"
|
|
|
|
Tooltip "Add subexamples options here"
|
|
|
|
PassThru 1
|
|
|
|
EndArgument
|
2022-12-04 19:33:29 +00:00
|
|
|
HTMLClass SubExample
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
2023-07-20 13:09:47 +00:00
|
|
|
InsetLayout Flex:Example_Preamble
|
|
|
|
LyXType custom
|
|
|
|
Decoration classic
|
|
|
|
LatexType command
|
|
|
|
LatexName expreamble
|
|
|
|
LabelString "Ex. Preamble"
|
|
|
|
ResetsFont true
|
2023-07-25 11:40:23 +00:00
|
|
|
AllowedInLayouts
|
|
|
|
Numbered_Example_(multiline), Numbered_Examples_(consecutive)
|
|
|
|
EndAllowedInLayouts
|
2023-07-25 13:49:53 +00:00
|
|
|
AllowedOccurrences 1
|
2023-07-26 07:53:25 +00:00
|
|
|
AllowedOccurrencesPerItem true
|
2023-07-20 13:09:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Subexample_Preamble
|
|
|
|
CopyStyle Flex:Example_Preamble
|
|
|
|
LatexName subexpreamble
|
|
|
|
LabelString "Subex. Preamble"
|
2023-07-25 11:40:23 +00:00
|
|
|
AllowedInLayouts
|
|
|
|
Subexample
|
|
|
|
EndAllowedInLayouts
|
2023-07-20 13:09:47 +00:00
|
|
|
End
|
|
|
|
|
2007-12-21 12:12:19 +00:00
|
|
|
|
2023-07-20 14:26:17 +00:00
|
|
|
InsetLayout Flex:Example_Postamble
|
|
|
|
CopyStyle Flex:Example_Preamble
|
|
|
|
LatexName expostamble
|
|
|
|
LabelString "Ex. Postamble"
|
|
|
|
End
|
|
|
|
|
|
|
|
InsetLayout Flex:Subexample_Postamble
|
|
|
|
CopyStyle Flex:Example_Preamble
|
|
|
|
LatexName subexpostamble
|
|
|
|
LabelString "Subex. Postamble"
|
2023-07-25 11:40:23 +00:00
|
|
|
AllowedInLayouts
|
|
|
|
Subexample
|
|
|
|
EndAllowedInLayouts
|
2023-07-20 14:26:17 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
#
|
|
|
|
# Interlinear Glosses
|
|
|
|
#
|
|
|
|
|
|
|
|
# Two-Line gloss with covington.sty
|
2019-06-04 09:01:19 +00:00
|
|
|
InsetLayout Flex:Interlinear_Gloss_(2_Lines)
|
2007-12-21 12:12:19 +00:00
|
|
|
LyXType custom
|
2019-06-04 09:01:19 +00:00
|
|
|
LabelString Gloss
|
|
|
|
LatexType command
|
|
|
|
LatexName digloss
|
2007-12-21 12:12:19 +00:00
|
|
|
Decoration minimalistic
|
|
|
|
LabelFont
|
|
|
|
Size Small
|
|
|
|
EndFont
|
|
|
|
MultiPar true
|
2008-10-05 19:46:19 +00:00
|
|
|
CustomPars false
|
2008-10-06 07:15:01 +00:00
|
|
|
ForcePlain true
|
2019-06-04 09:01:19 +00:00
|
|
|
ParbreakIgnored true
|
2007-12-21 12:12:19 +00:00
|
|
|
FreeSpacing true
|
2019-06-04 09:01:19 +00:00
|
|
|
Requires covington,csquotes
|
2009-02-06 17:54:33 +00:00
|
|
|
InToc true
|
2015-04-21 18:33:35 +00:00
|
|
|
ResetsFont true
|
|
|
|
Argument 1
|
2019-06-04 09:01:19 +00:00
|
|
|
LabelString "Gloss options"
|
|
|
|
MenuString "Gloss Options|s"
|
|
|
|
Tooltip "Add digloss options here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:1
|
2023-07-20 13:09:47 +00:00
|
|
|
LabelString "Sentence Comment"
|
|
|
|
MenuString "Sentence Comment"
|
|
|
|
Tooltip "Add an optional sentence comment here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:2
|
2019-06-04 09:01:19 +00:00
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Interlinear Gloss"
|
|
|
|
MenuString "Interlinear Gloss"
|
|
|
|
Tooltip "Add the inter-linear gloss here"
|
|
|
|
AutoInsert true
|
|
|
|
Mandatory true
|
|
|
|
FreeSpacing true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
2023-07-20 13:09:47 +00:00
|
|
|
Argument post:3
|
|
|
|
LabelString "Gloss Comment"
|
|
|
|
MenuString "Gloss Comment"
|
|
|
|
Tooltip "Add an optional gloss comment here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:4
|
2015-04-21 18:33:35 +00:00
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Translation"
|
2019-06-04 09:01:19 +00:00
|
|
|
MenuString "Gloss Translation"
|
|
|
|
Tooltip "Add a free translation for the gloss"
|
|
|
|
AutoInsert true
|
|
|
|
Mandatory true
|
|
|
|
FreeSpacing true
|
|
|
|
InsertOnNewline true
|
2015-04-21 18:33:35 +00:00
|
|
|
EndArgument
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
# Three-Line gloss with covington.sty
|
2019-06-04 09:01:19 +00:00
|
|
|
InsetLayout Flex:Interlinear_Gloss_(3_Lines)
|
2007-12-21 12:12:19 +00:00
|
|
|
LyXType custom
|
2019-06-04 09:01:19 +00:00
|
|
|
LabelString Tri-Gloss
|
|
|
|
LatexType command
|
|
|
|
LatexName trigloss
|
2007-12-21 12:12:19 +00:00
|
|
|
Decoration minimalistic
|
|
|
|
LabelFont
|
|
|
|
Size Small
|
|
|
|
EndFont
|
|
|
|
MultiPar true
|
2008-10-06 07:15:01 +00:00
|
|
|
CustomPars false
|
|
|
|
ForcePlain true
|
2019-06-04 09:01:19 +00:00
|
|
|
ParbreakIgnored true
|
2007-12-21 12:12:19 +00:00
|
|
|
FreeSpacing true
|
2009-02-06 17:54:33 +00:00
|
|
|
InToc true
|
2019-06-04 09:01:19 +00:00
|
|
|
Requires covington,csquotes
|
2015-04-21 18:33:35 +00:00
|
|
|
ResetsFont true
|
|
|
|
Argument 1
|
2019-06-04 09:01:19 +00:00
|
|
|
LabelString "Gloss options"
|
|
|
|
MenuString "Gloss Options|s"
|
|
|
|
Tooltip "Add trigloss options here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:1
|
2023-07-20 13:09:47 +00:00
|
|
|
LabelString "Sentence Comment"
|
|
|
|
MenuString "Sentence Comment"
|
|
|
|
Tooltip "Add an optional sentence comment here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:2
|
2019-06-04 09:01:19 +00:00
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Interlinear Gloss (1)"
|
|
|
|
MenuString "Interlinear Gloss (Line 1)|1"
|
|
|
|
Tooltip "Add the first inter-linear gloss line here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
FreeSpacing true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
2023-07-20 13:09:47 +00:00
|
|
|
Argument post:3
|
|
|
|
LabelString "Gloss Comment (1)"
|
|
|
|
MenuString "Gloss Comment (Line 1)"
|
|
|
|
Tooltip "Add an optional gloss comment here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:4
|
2019-06-04 09:01:19 +00:00
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Interlinear Gloss (2)"
|
|
|
|
MenuString "Interlinear Gloss (Line 2)|2"
|
2023-07-20 13:09:47 +00:00
|
|
|
Tooltip "Add the second inter-linear gloss line here"
|
2019-06-04 09:01:19 +00:00
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
FreeSpacing true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
2023-07-20 13:09:47 +00:00
|
|
|
Argument post:5
|
|
|
|
LabelString "Gloss Comment (2)"
|
|
|
|
MenuString "Gloss Comment (Line 2)"
|
|
|
|
Tooltip "Add an optional gloss comment here"
|
|
|
|
EndArgument
|
|
|
|
Argument post:6
|
2015-04-21 18:33:35 +00:00
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Translation"
|
2019-06-04 09:01:19 +00:00
|
|
|
MenuString "Gloss Translation"
|
2015-04-21 18:33:35 +00:00
|
|
|
Tooltip "Add a translation for the glosse"
|
2019-06-04 09:01:19 +00:00
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
2015-04-21 18:33:35 +00:00
|
|
|
EndArgument
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
2015-04-21 18:33:35 +00:00
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
# A helper to group words in glosses
|
|
|
|
InsetLayout Flex:GroupGlossedWords
|
|
|
|
LyxType charstyle
|
|
|
|
LabelString Group
|
|
|
|
LeftDelim {
|
|
|
|
RightDelim }
|
|
|
|
ResetsFont true
|
2023-07-25 11:40:23 +00:00
|
|
|
AllowedInInsets
|
|
|
|
Flex:Interlinear_Gloss_(2_Lines), Flex:Interlinear_Gloss_(2_Lines)@post:2,
|
|
|
|
Flex:Interlinear_Gloss_(3_Lines), Flex:Interlinear_Gloss_(3_Lines)@post:2,
|
|
|
|
Flex:Interlinear_Gloss_(3_Lines)@post:4
|
|
|
|
EndAllowedInInsets
|
2019-06-23 07:30:03 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
# Trees
|
|
|
|
#
|
|
|
|
|
2015-04-20 16:14:42 +00:00
|
|
|
# Structure trees via the forest package
|
|
|
|
InsetLayout Flex:Structure_Tree
|
|
|
|
LyXType custom
|
|
|
|
LabelString Tree
|
|
|
|
LatexType environment
|
|
|
|
LatexName forest
|
|
|
|
Decoration classic
|
|
|
|
LabelFont
|
|
|
|
Size Small
|
|
|
|
EndFont
|
|
|
|
MultiPar true
|
|
|
|
CustomPars false
|
|
|
|
ParbreakIsNewline true
|
|
|
|
FreeSpacing true
|
2015-05-04 23:21:22 +00:00
|
|
|
Requires forest
|
2015-04-20 16:14:42 +00:00
|
|
|
ResetsFont true
|
2015-05-04 23:21:22 +00:00
|
|
|
PassThruChars []
|
2016-02-21 10:54:25 +00:00
|
|
|
Preamble
|
|
|
|
% Load forest linguistics library, if available
|
|
|
|
\@ifpackagelater{forest}{2016/02/20}{%
|
|
|
|
\useforestlibrary*{linguistics}
|
|
|
|
}{}
|
|
|
|
EndPreamble
|
2021-09-27 01:30:45 +00:00
|
|
|
DocBookRenderAsImage true
|
2015-04-20 16:14:42 +00:00
|
|
|
End
|
|
|
|
|
2007-12-21 12:12:19 +00:00
|
|
|
|
2019-06-23 10:59:56 +00:00
|
|
|
#
|
|
|
|
# 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
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
InsetLayout Flex:QDRS
|
|
|
|
CopyStyle Flex:DRS
|
|
|
|
LabelString "Dupl. Cond. DRS"
|
|
|
|
MenuString "Duplex Condition DRS"
|
|
|
|
LatexName qdrs
|
|
|
|
Argument post:1
|
|
|
|
Decoration classic
|
|
|
|
LabelString "Quant."
|
|
|
|
MenuString "DRS Quantifier"
|
|
|
|
Tooltip "Add the DRS duplex quantifier here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
|
|
|
Argument post:2
|
|
|
|
Decoration classic
|
|
|
|
LabelString "Quant. Var."
|
|
|
|
MenuString "DRS Quantifier Variable"
|
|
|
|
Tooltip "Add the DRS duplex quantifier variables here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
|
|
|
Argument post:3
|
|
|
|
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:4
|
|
|
|
Decoration classic
|
|
|
|
LabelString "Then-Conditions"
|
|
|
|
MenuString "DRS Then-Referents"
|
|
|
|
Tooltip "Add the DRS then-conditions here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
|
|
|
Requires drs,pict2e
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
InsetLayout Flex:NegDRS
|
|
|
|
CopyStyle Flex:DRS
|
|
|
|
LabelString "Neg. DRS"
|
|
|
|
MenuString "Negated DRS"
|
|
|
|
LatexName negdrs
|
|
|
|
End
|
|
|
|
|
|
|
|
|
|
|
|
InsetLayout Flex:SDRS
|
|
|
|
CopyStyle Flex:DRS
|
|
|
|
LabelString "Sent. DRS"
|
|
|
|
MenuString "DRS with Sentence above"
|
|
|
|
LatexName sdrs
|
|
|
|
Argument 1
|
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Sentence"
|
|
|
|
MenuString "DRS Sentence"
|
|
|
|
Tooltip "Add the sentence here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
|
|
|
Argument 2
|
|
|
|
Decoration conglomerate
|
|
|
|
LabelString "Referents"
|
|
|
|
MenuString "DRS Referents"
|
|
|
|
Tooltip "Add the DRS referents (universe) here"
|
|
|
|
Mandatory true
|
|
|
|
AutoInsert true
|
|
|
|
InsertOnNewline true
|
|
|
|
EndArgument
|
|
|
|
End
|
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
#
|
|
|
|
# Semantic Markup
|
|
|
|
#
|
|
|
|
|
2010-10-12 15:41:55 +00:00
|
|
|
InsetLayout Flex:Expression
|
2007-12-21 12:12:19 +00:00
|
|
|
LyxType charstyle
|
|
|
|
LabelString expr.
|
|
|
|
LatexType command
|
2019-06-23 06:25:50 +00:00
|
|
|
LatexName lexp
|
|
|
|
Requires covington
|
2007-12-21 12:12:19 +00:00
|
|
|
Font
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2009-02-06 17:54:33 +00:00
|
|
|
InToc true
|
2016-02-21 10:54:25 +00:00
|
|
|
ResetsFont true
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2010-10-12 15:41:55 +00:00
|
|
|
InsetLayout Flex:Concepts
|
2007-12-21 12:12:19 +00:00
|
|
|
LyxType charstyle
|
|
|
|
LabelString concept
|
|
|
|
LatexType command
|
2019-06-23 06:25:50 +00:00
|
|
|
LatexName lcon
|
|
|
|
Requires covington
|
2007-12-21 12:12:19 +00:00
|
|
|
Font
|
|
|
|
Shape Smallcaps
|
|
|
|
EndFont
|
2009-02-06 17:54:33 +00:00
|
|
|
InToc true
|
2016-02-21 10:54:25 +00:00
|
|
|
ResetsFont true
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2010-10-12 15:41:55 +00:00
|
|
|
InsetLayout Flex:Meaning
|
2007-12-21 12:12:19 +00:00
|
|
|
LyxType charstyle
|
|
|
|
LabelString meaning
|
|
|
|
LatexType command
|
2019-06-23 06:25:50 +00:00
|
|
|
LatexName lmean
|
|
|
|
Requires covington,csquotes
|
2009-02-06 17:54:33 +00:00
|
|
|
InToc true
|
2016-02-21 10:54:25 +00:00
|
|
|
ResetsFont true
|
2007-12-21 12:12:19 +00:00
|
|
|
End
|
2008-09-07 11:54:13 +00:00
|
|
|
|
|
|
|
|
2019-06-23 07:30:03 +00:00
|
|
|
#
|
|
|
|
# OT Tableaux
|
|
|
|
#
|
2015-04-21 18:33:35 +00:00
|
|
|
|
2017-05-13 15:36:20 +00:00
|
|
|
OutlinerName tableau "Tableaux" #no AddToToc
|
|
|
|
|
2008-09-07 11:54:13 +00:00
|
|
|
Float
|
|
|
|
Type tableau
|
|
|
|
GuiName Tableau
|
|
|
|
Placement tbp
|
|
|
|
Extension otl
|
|
|
|
NumberWithin none
|
|
|
|
Style plain
|
|
|
|
ListName "List of Tableaux"
|
2011-02-02 22:39:03 +00:00
|
|
|
IsPredefined false
|
|
|
|
UsesFloatPkg true
|
2023-08-10 16:11:25 +00:00
|
|
|
PrettyFormat "Tableau ##"
|
2008-09-07 11:54:13 +00:00
|
|
|
End
|
|
|
|
|