mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-12-24 13:01:53 +00:00
30 lines
112 KiB
JSON
30 lines
112 KiB
JSON
|
{
|
|||
|
"base/rules/clearspeak_base.min":
|
|||
|
{"locale":"base","domain":"clearspeak","modality":"speech","kind":"abstract","rules":[["Rule","direct-speech","default","[t] @ext-speech","self::*[@ext-speech]","priority=Infinity"],["Rule","stree","default","[n] ./*[1]","self::stree"],["Rule","unknown","default","[n] text()","self::unknown"],["Rule","protected","default","[n] text() (grammar:ignoreCaps)","self::number","contains(@grammar, \"protected\")"],["Rule","omit-empty","default","[p] (pause:short)","self::empty"],["Rule","omit-font","default","[n] self::* (grammar:ignoreFont=@font)","self::identifier[@font=\"italic\"]","string-length(text())=1","not(contains(@grammar, \"ignoreFont\"))"],["SpecializedRule","omit-font","default","Caps_SayCaps"],["Rule","text","default","[n] text()","self::text"],["Rule","capital","default","[n] text() (pitch:0.6, grammar:ignoreCaps)","self::identifier","@role=\"latinletter\" or @role=\"greekletter\" or @role=\"simple function\"",".[@category=\"Lu\"]"],["Rule","capital-cap","Caps_SayCaps","[n] text()","self::identifier","@role=\"latinletter\" or @role=\"greekletter\"",".[@category=\"Lu\"]"],["Rule","capital-cap-l","Caps_SayCaps","[p] (pause:short); [n] text()","self::identifier","@role=\"latinletter\" or @role=\"greekletter\"",".[@category=\"Lu\"]","preceding-sibling::*[1]","not(name(preceding-sibling::*[1])=\"function\")","not(contains(@grammar, \"angle\"))"],["Rule","capital-cap-r","Caps_SayCaps","[n] text() (pause:short)","self::identifier","@role=\"latinletter\" or @role=\"greekletter\"",".[@category=\"Lu\"]","following-sibling::*[1]"],["Rule","capital-cap-lr","Caps_SayCaps","[p] (pause:short); [n] text() (pause:short)","self::identifier","@role=\"latinletter\" or @role=\"greekletter\"",".[@category=\"Lu\"]","preceding-sibling::*[1]","following-sibling::*[1]","not(name(preceding-sibling::*[1])=\"function\")","not(contains(@grammar, \"angle\"))"],["Precondition","collapsed","default","self::*[@alternative]","not(contains(@grammar, \"collapsed\"))"],["Precondition","font","default","self::*","@font","not(contains(@grammar, \"ignoreFont\"))","@font!=\"normal\""],["Specialized","font","default","Caps_SayCaps"],["Alias","font","self::identifier[@font=\"normal\"]","string-length(text())=1","not(contains(@grammar, \"ignoreFont\"))","@role!=\"unit\""],["Precondition","punctuation-lr","default","self::punctuation","@role=\"comma\""],["Precondition","punctuation","default","self::punctuation","@role=\"comma\"","not(preceding-sibling::*[1]/children)","not(following-sibling::*[1]/children)"],["Precondition","punctuation-l","default","self::punctuation","@role=\"comma\"","not(following-sibling::*[1]/children)"],["Precondition","punctuation-r","default","self::punctuation","@role=\"comma\"","not(preceding-sibling::*[1]/children)"],["Precondition","ellipsis","Ellipses_AndSoOn","self::punctuation","@role=\"ellipsis\"","not(following-sibling::*[1])","not(preceding-sibling::*[last()][@role=\"ellipsis\"])"],["Precondition","ellipsis-andsoon","Ellipses_AndSoOn","self::punctuation","@role=\"ellipsis\"","preceding-sibling::*[1]","following-sibling::*[1]"],["Precondition","vbar-evaluated","default","self::punctuated","@role=\"endpunct\"","content/*[1][@role=\"vbar\"]","content/*[1][@embellished]","name(content/*[1])=\"subscript\""],["Precondition","vbar-evaluated-both","default","self::punctuated","@role=\"endpunct\"","content/*[1][@role=\"vbar\"]","content/*[1][@embellished]","name(content/*[1])=\"superscript\"","name(content/*[1]/children/*[1])=\"subscript\""],["Precondition","vbar-such-that","VerticalLine_SuchThat","self::punctuation","@role=\"vbar\"","not(parent::*/parent::*[@embellished=\"punctuation\"])"],["Precondition","vbar-divides","default","self::punctuation","@role=\"vbar\"","not(parent::*/parent::*[@embellished=\"punctuation\"])","parent::*/parent::*[@role=\"sequence\"]"],["Precondition","vbar-always-divides","VerticalLine_Divides","self::punctuation","@role=\"vbar\"","not(parent::*/parent::*[@embellished=\"punctuation\"])"],["Precondition","vbar-given","VerticalLine_Given","self::punctuation","@role=\"vbar\"","not(parent::*/parent::*[@
|
|||
|
,
|
|||
|
"base/rules/clearspeak_base_actions.min":
|
|||
|
{"domain":"clearspeak","locale":"base","modality":"speech","kind":"actions","rules":[["Action","punctuation-lr","[p] (pause:short); [n] text() (pause:short)"],["Action","punctuation","[n] text()"],["Action","punctuation-l","[p] (pause:short); [n] text()"],["Action","punctuation-r","[n] text() (pause:short)"],["Action","prime","[n] children/*[1]; [n] children/*[2]"],["Action","degrees","[m] children/* (grammar:degree)"],["Action","feet","[n] children/*[1]; [t] \"ft\" (grammar:annotation=\"unit\":translate:plural)"],["Action","foot","[n] children/*[1]; [t] \"ft\" (grammar:annotation=\"unit\":translate)"],["Action","inches","[n] children/*[1]; [t] \"in\" (grammar:annotation=\"unit\":translate:plural)"],["Action","inch","[n] children/*[1]; [t] \"in\" (grammar:annotation=\"unit\":translate)"],["Action","minutes","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate:plural)"],["Action","minute","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate)"],["Action","seconds","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate:plural)"],["Action","second","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate)"],["Action","degrees-angle","[t] text() (grammar:annotation=\"unit\":translate:plural, pause:short)"],["Action","degree-angle","[t] text() (grammar:annotation=\"unit\":translate, pause:short)"],["Action","minutes-angle","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate:plural)"],["Action","minute-angle","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate)"],["Action","seconds-angle","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate:plural)"],["Action","second-angle","[n] children/*[1]; [t] children/*[2]/text() (grammar:annotation=\"unit\":translate)"],["Action","feet-length","[n] children/*[1]; [t] \"ft\" (grammar:annotation=\"unit\":translate:plural, pause:short)"],["Action","foot-length","[n] children/*[1]; [t] \"ft\" (grammar:annotation=\"unit\":translate, pause:short)"],["Action","inches-length","[n] children/*[1]; ; [t] \"in\" (grammar:annotation=\"unit\":translate:plural, pause:short)"],["Action","inch-length","[n] children/*[1]; ; [t] \"in\" (grammar:annotation=\"unit\":translate, pause:short)"],["Action","punctuated","[m] children/*"],["Action","function","[n] text()"],["Action","binary-operation","[n] . (grammar:impliedTimes, pause:short)"],["Action","function-ln-natlog","[n] . (grammar:NatLog)"],["Action","function-ln-natlog-pause","[n] . (grammar:NatLog, pause:short)"],["Action","function-no-inverse","[n] . (grammar:functions_none)"],["Action","paren-simple","[n] children/*[1]"],["Action","paren-simple-exp","[n] children/*[1]"],["Action","paren-simple-nested-func","[n] children/*[1]"],["Action","paren-simple-nested-func-no-bracket","[n] children/*[1]"],["Action","fences-open-close","[p] (pause:short); [n] content/*[1] (grammar:spokenFence, pause:short); [n] children/*[1] (pause:short); [n] content/*[2] (grammar:spokenFence, pause:short)"],["Action","paren-simple-nested-func-default","[p] (pause:short); [n] content/*[1] (pause:short); [n] children/*[1] (pause:short); [n] content/*[2] (pause:short)"],["Action","paren-simple-nested-func-none","[p] (pause:short); [n] content/*[1] (grammar:spokenFence, pause:short); [n] children/*[1] (pause:short); [n] content/*[2] (grammar:spokenFence, pause:short)"],["Action","fence-silent","[p] (pause:short); [n] children/*[1] (pause:short)"],["Action","fences-open-close-none","[p] (pause:short); [n] content/*[1] (grammar:spokenFence, pause:short); [n] children/*[1] (pause:short); [n] content/*[2] (grammar:spokenFence, pause:short)"],["Action","fence-nesting","[n] text() (grammar:insertNesting=CSFnestingDepth)"],["Action","fence-no-nesting","[n] text()"],["Action","interval-open-inf-lr",""],["Action","paren-nested-embellished-funcs","[p] (pause:short); [n] content/*[1] (pause:short); [n] children/*[1] (pause:short); [n] content/*[2] (pause:short)"],["Action","set-col
|
|||
|
,
|
|||
|
"base/rules/clearspeak_base_romance.min":
|
|||
|
{"locale":"romance","domain":"clearspeak","modality":"speech","kind":"abstract","inherits":"base","rules":[["Precondition","function-prefix-reciprocal","Trig_Reciprocal","self::appl","@role=\"prefix function\"","name(children/*[1])=\"superscript\"","name(children/*[1]/children/*[2])=\"prefixop\"","children/*[1]/children/*[2][@role=\"negative\"]","children/*[1]/children/*[2]/children/*[1][text()=\"1\"]","not(contains(@grammar, \"functions_none\"))"],["Precondition","function-prefix-reciprocal-simple","Trig_Reciprocal","self::appl","@role=\"prefix function\"","name(children/*[1])=\"superscript\"","name(children/*[1]/children/*[2])=\"prefixop\"","contains(children/*[2]/@annotation, \"clearspeak:simple\")","children/*[1]/children/*[2][@role=\"negative\"]","children/*[1]/children/*[2]/children/*[1][text()=\"1\"]","not(contains(@grammar, \"functions_none\"))"],["Precondition","function-reciprocal","Functions_Reciprocal","self::superscript","@role=\"prefix function\" or @role=\"simple function\"","name(children/*[2])=\"prefixop\"","children/*[2][@role=\"negative\"]","children/*[2]/children/*[1][text()=\"1\"]","not(contains(@grammar, \"functions_none\"))"]]}
|
|||
|
,
|
|||
|
"base/rules/mathspeak_base.min":
|
|||
|
{"domain":"mathspeak","locale":"base","modality":"speech","kind":"abstract","rules":[["Rule","direct-speech","default","[t] @ext-speech","self::*[@ext-speech]","priority=Infinity"],["Rule","stree","default","[n] ./*[1]","self::stree","CQFresetNesting"],["Rule","unknown","default","[n] text()","self::unknown"],["Rule","protected","default","[n] text() (grammar:ignoreCaps)","self::number","contains(@grammar, \"protected\")"],["Rule","omit-empty","default","[p] (pause:100)","self::empty"],["Rule","omit-font","default","[n] . (grammar:ignoreFont=@font)","self::identifier","string-length(text())=1","@font","not(contains(@grammar, \"ignoreFont\"))","@font=\"italic\""],["Precondition","collapsed","default","self::*[@alternative]","not(contains(@grammar, \"collapsed\"))"],["Specialized","collapsed","default","brief"],["Specialized","collapsed","brief","sbrief"],["Precondition","blank-cell-empty","default","self::empty","count(../*)=1","name(../..)=\"cell\""],["Precondition","blank-line-empty","default","self::empty","count(../*)=1","name(../..)=\"line\""],["Precondition","font","default","self::*","@font","not(contains(@grammar, \"ignoreFont\"))","@font!=\"normal\""],["Alias","font","self::identifier","string-length(text())=1","@font","not(contains(@grammar, \"ignoreFont\"))","@font=\"normal\"","\"\"=translate(text(), \"abcdefghijklmnopqrstuvwxyzαβγδεζηθικλμνξοπρςστυφχψωABCDEFGHIJKLMNOPQRSTUVWXYZΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΣΤΥΦΧΨΩ\", \"\")","@role!=\"unit\""],["Alias","font","self::identifier","string-length(text())=1","@font","@font=\"normal\"","not(contains(@grammar, \"ignoreFont\"))","@role!=\"unit\""],["Precondition","number","default","self::number"],["Precondition","mixed-number","default","self::number","@role=\"mixed\""],["Precondition","number-with-chars","default","self::number[@role=\"othernumber\"]","\"\" != translate(text(), \"0123456789.,\", \"\")","not(contains(@grammar, \"protected\"))"],["Precondition","number-with-chars-brief","brief","self::number[@role=\"othernumber\"]","\"\" != translate(text(), \"0123456789.,\", \"\")","not(contains(@grammar, \"protected\"))"],["Specialized","number-with-chars-brief","brief","sbrief"],["Precondition","number-as-upper-word","default","self::number[@role=\"othernumber\"]","string-length(text())>1","text()=translate(text(), \"abcdefghijklmnopqrstuvwxyzαβγδεζηθικλμνξοπρςστυφχψω\", \"ABCDEFGHIJKLMNOPQRSTUVWXYZΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΣΤΥΦΧΨΩ\")","\"\"=translate(text(), \"ABCDEFGHIJKLMNOPQRSTUVWXYZΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΣΤΥΦΧΨΩ\",\"\")"],["Specialized","number-as-upper-word","default","brief"],["Specialized","number-as-upper-word","default","sbrief"],["Precondition","number-baseline","default","self::number","not(contains(@grammar, \"ignoreFont\"))","preceding-sibling::identifier","not(contains(@grammar, \"baseline\"))","preceding-sibling::*[1][contains(@role,\"letter\")]","parent::*/parent::infixop[@role=\"implicit\"]"],["Precondition","number-baseline-brief","brief","self::number","not(contains(@grammar, \"ignoreFont\"))","preceding-sibling::identifier","not(contains(@grammar, \"baseline\"))","preceding-sibling::*[1][contains(@role,\"letter\")]","parent::*/parent::infixop[@role=\"implicit\"]"],["Specialized","number-baseline-brief","brief","sbrief"],["Precondition","number-baseline-font","default","self::number[@font!=\"normal\"]","not(contains(@grammar, \"ignoreFont\"))","preceding-sibling::identifier","preceding-sibling::*[contains(@role,\"letter\")]","parent::*/parent::infixop[@role=\"implicit\"]"],["Precondition","number-baseline-font-brief","brief","self::number[@font!=\"normal\"]","not(contains(@grammar, \"ignoreFont\"))","preceding-sibling::identifier","preceding-sibling::*[contains(@role,\"letter\")]","parent::*/parent::infixop[@role=\"implicit\"]"],["Specialized","number-baseline-font-brief","brief","sbrief"],["Precondition","identifier-spacing","default","self::identifier","string-length(text())>1","@role!=\"unit\"","not(@font) or @font=\"normal\" or contains(@gramm
|
|||
|
,
|
|||
|
"base/rules/mathspeak_base_actions.min":
|
|||
|
{"domain":"mathspeak","locale":"base","modality":"speech","kind":"actions","rules":[["Action","number","[n] text()"],["Action","identifier-spacing","[m] CQFspaceoutIdentifier"],["Action","identifier","[n] text()"],["Action","prefix","[m] content/*; [n] children/*[1]"],["Action","postfix","[n] children/*[1]; [m] content/*"],["Action","binary-operation","[m] children/* (sepFunc:CTFcontentIterator);"],["Action","implicit","[m] children/*"],["Action","function-unknown","[n] children/*[1]; [n] children/*[2]"],["Action","function-prefix","[n] children/*[1]; [n] children/*[2]"],["Action","fences-open-close","[n] content/*[1]; [n] children/*[1]; [n] content/*[2]"],["Action","text","[n] text()"],["Action","matrix-cell","[n] children/*[1] (pause: 300)"],["Action","row-simple","[m] children/*;"],["Action","line","[m] children/*"],["Action","end-punct","[m] children/*"],["Action","start-punct","[n] content/*[1]; [m] children/*[position()>1]"],["Action","punctuated","[m] children/*"],["Action","fraction","[t] CSFopenFracVerbose; [n] children/*[1]; [t] CSFoverFracVerbose; [n] children/*[2]; [t] CSFcloseFracVerbose"],["Action","fraction-brief","[t] CSFopenFracBrief; [n] children/*[1]; [t] CSFoverFracVerbose; [n] children/*[2]; [t] CSFcloseFracBrief"],["Action","fraction-sbrief","[t] CSFopenFracSbrief; [n] children/*[1]; [t] CSFoverFracSbrief; [n] children/*[2]; [t] CSFcloseFracSbrief"],["Action","vulgar-fraction","[t] CSFvulgarFraction"],["Action","sqrt","[t] CSFopenRadicalVerbose; [n] children/*[1]; [t] CSFcloseRadicalVerbose"],["Action","sqrt-brief","[t] CSFopenRadicalBrief; [n] children/*[1]; [t] CSFcloseRadicalBrief"],["Action","sqrt-sbrief","[t] CSFopenRadicalSbrief; [n] children/*[1]; [t] CSFcloseRadicalBrief"],["Action","root-small","[t] CSFopenRadicalVerbose; [n] children/*[2]; [t] CSFcloseRadicalVerbose"],["Action","root-small-brief","[t] CSFopenRadicalBrief; [n] children/*[2]; [t] CSFcloseRadicalBrief"],["Action","root-small-sbrief","[t] CSFopenRadicalSbrief; [n] children/*[2]; [t] CSFcloseRadicalBrief"],["Action","root","[t] CSFindexRadicalVerbose; [n] children/*[1];[t] CSFopenRadicalVerbose; [n] children/*[2]; [t] CSFcloseRadicalVerbose"],["Action","root-brief","[t] CSFindexRadicalBrief; [n] children/*[1];[t] CSFopenRadicalBrief; [n] children/*[2]; [t] CSFcloseRadicalBrief"],["Action","root-sbrief","[t] CSFindexRadicalSbrief; [n] children/*[1];[t] CSFopenRadicalSbrief; [n] children/*[2]; [t] CSFcloseRadicalBrief"],["Action","integral-index","[n] children/*[1]; [n] children/*[2]; [n] children/*[3];"],["Action","bigop","[n] children/*[1]; [n] children/*[2];"],["Action","relseq","[m] children/* (sepFunc:CTFcontentIterator)"],["Action","equality","[n] children/*[1]; [n] content/*[1]; [n] children/*[2]"],["Action","multi-equality","[m] children/* (sepFunc:CTFcontentIterator)"],["Action","multrel","[m] children/* (sepFunc:CTFcontentIterator)"],["Action","subscript","[n] children/*[1]; [t] CSFsubscriptVerbose; [n] children/*[2]"],["Action","subscript-brief","[n] children/*[1]; [t] CSFsubscriptBrief; [n] children/*[2]"],["Action","subscript-simple","[n] children/*[1]; [n] children/*[2]"],["Action","subscript-baseline","[n] children/*[1]; [t] CSFsubscriptVerbose; [n] children/*[2]; [t] CSFbaselineVerbose"],["Action","subscript-baseline-brief","[n] children/*[1]; [t] CSFsubscriptBrief; [n] children/*[2]; [t] CSFbaselineBrief"],["Action","subscript-empty-sup","[n] children/*[1]; [n] children/*[2]"],["Action","superscript","[n] children/*[1]; [t] CSFsuperscriptVerbose; [n] children/*[2]"],["Action","superscript-brief","[n] children/*[1]; [t] CSFsuperscriptBrief; [n] children/*[2]"],["Action","superscript-baseline","[n] children/*[1]; [t] CSFsuperscriptVerbose; [n] children/*[2];[t] CSFbaselineVerbose"],["Action","superscript-baseline-brief","[n] children/*[1]; [t] CSFsuperscriptBrief; [n] children/*[2];[t] CSFbaselineBrief"],["Action","superscript-empty-sub","[n] children/*[1]; [n] children/*[2]"],["Action","double-prime","[t] \"″\" (grammar:translate)"],["Action","triple-prime","[t] \"‴\" (grammar:translate)"],["Action","quadrupl
|
|||
|
,
|
|||
|
"base/rules/mathspeak_base_romance.min":
|
|||
|
{"domain":"mathspeak","locale":"romance","modality":"speech","kind":"abstract","inherits":"base","rules":[["Precondition","logarithm-base","default","self::subscript","children/*[1][@category=\"Logarithm\"]","name(./children/*[2])=\"identifier\" or name(./children/*[2])=\"number\"","./children/*[2][@role!=\"mixed\"]","./children/*[2][@role!=\"othernumber\"]"],["Specialized","logarithm-base","default","brief"],["Specialized","logarithm-base","default","sbrief"]]}
|
|||
|
,
|
|||
|
"base/rules/prefix_base.min":
|
|||
|
{"modality":"prefix","domain":"default","locale":"base","kind":"abstract","rules":[["Precondition","numerator","default","self::*","name(../..)=\"fraction\"","count(preceding-sibling::*)=0"],["Precondition","denominator","default","self::*","name(../..)=\"fraction\"","count(preceding-sibling::*)=1"],["Precondition","base","default","self::*","count(preceding-sibling::*)=0","name(../..)=\"superscript\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"subscript\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"overscore\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"underscore\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"tensor\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"limlower\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"limupper\""],["Alias","base","self::*","count(preceding-sibling::*)=0","name(../..)=\"limboth\""],["Precondition","exponent","default","self::*","name(../..)=\"superscript\"","count(preceding-sibling::*)=1"],["Precondition","subscript","default","self::*","name(../..)=\"subscript\"","count(preceding-sibling::*)=1"],["Precondition","overscript","default","self::*","count(preceding-sibling::*)=1","name(../..)=\"overscore\""],["Alias","overscript","self::*","count(preceding-sibling::*)=1","name(../..)=\"limupper\""],["Alias","overscript","self::*","count(preceding-sibling::*)=2","name(../..)=\"limboth\""],["Precondition","underscript","default","self::*","count(preceding-sibling::*)=1","name(../..)=\"underscore\""],["Alias","underscript","self::*","count(preceding-sibling::*)=1","name(../..)=\"limlower\""],["Alias","underscript","self::*","count(preceding-sibling::*)=1","name(../..)=\"limboth\""],["Precondition","radicand","default","self::*","name(../..)=\"sqrt\""],["Alias","radicand","self::*","name(../..)=\"root\"","count(preceding-sibling::*)=1"],["Precondition","index","default","self::*","name(../..)=\"root\"","count(preceding-sibling::*)=0"],["Precondition","leftsub","default","self::*","name(../..)=\"tensor\"","@role=\"leftsub\""],["Precondition","leftsub-counted","default","self::*","name(../..)=\"punctuated\"","name(../../../..)=\"tensor\"","../../@role=\"leftsub\""],["Precondition","leftsuper","default","self::*","name(../..)=\"tensor\"","@role=\"leftsuper\""],["Precondition","leftsuper-counted","default","self::*","name(../..)=\"punctuated\"","name(../../../..)=\"tensor\"","../../@role=\"leftsuper\""],["Precondition","rightsub","default","self::*","name(../..)=\"tensor\"","@role=\"rightsub\""],["Precondition","rightsub-counted","default","self::*","name(../..)=\"punctuated\"","name(../../../..)=\"tensor\"","../../@role=\"rightsub\""],["Precondition","rightsuper","default","self::*","name(../..)=\"tensor\"","@role=\"rightsuper\""],["Precondition","rightsuper-counted","default","self::*","name(../..)=\"punctuated\"","name(../../../..)=\"tensor\"","../../@role=\"rightsuper\""],["Precondition","choice","default","self::line","@role=\"binomial\"","parent::*/parent::vector","count(preceding-sibling::*)=0"],["Precondition","select","default","self::line","@role=\"binomial\"","parent::*/parent::vector","count(preceding-sibling::*)=1"],["Precondition","row","default","self::row"],["Alias","row","self::line"],["Precondition","cell","default","self::cell","contains(@grammar,\"depth\")"],["Precondition","cell-simple","default","self::cell"]]}
|
|||
|
,
|
|||
|
"base/rules/summary_base.min":
|
|||
|
{"modality":"summary","locale":"base","kind":"abstract","rules":[["Rule","stree","default.default","[n] ./*[1]","self::stree"],["Precondition","abstr-identifier-long","default.default","self::identifier","contains(@grammar, \"collapsed\")"],["Precondition","abstr-identifier","default.default","self::identifier"],["Precondition","abstr-number-long","default.default","self::number","contains(@grammar, \"collapsed\")"],["Precondition","abstr-number","default.default","self::number"],["Precondition","abstr-mixed-number-long","default.default","self::number","@role=\"mixed\"","contains(@grammar, \"collapsed\")"],["Precondition","abstr-mixed-number","default.default","self::number","@role=\"mixed\""],["Precondition","abstr-text","default.default","self::text"],["Precondition","abstr-function","default.default","self::function"],["Precondition","abstr-function-brief","mathspeak.brief","self::function"],["Specialized","abstr-function-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-lim","default.default","self::function","@role=\"limit function\""],["Precondition","abstr-lim-brief","mathspeak.brief","self::function","@role=\"limit function\""],["Specialized","abstr-lim-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-fraction","default.default","self::fraction"],["Precondition","abstr-fraction-brief","mathspeak.brief","self::fraction"],["Specialized","abstr-fraction-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-continued-fraction","default.default","self::fraction","children/*[2]/descendant-or-self::*[@role=\"ellipsis\"]"],["Precondition","abstr-continued-fraction-brief","mathspeak.brief","self::fraction","children/*[2]/descendant-or-self::*[@role=\"ellipsis\"]"],["Specialized","abstr-continued-fraction-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-sqrt","default.default","self::sqrt"],["Precondition","abstr-sqrt-nested","default.default","self::sqrt","children/*/descendant-or-self::sqrt or children/*/descendant-or-self::root"],["Precondition","abstr-root-end","default.default","self::root","contains(@grammar, \"collapsed\")","following-sibling::* or ancestor::*/following-sibling::*"],["Precondition","abstr-root","default.default","self::root"],["Precondition","abstr-root-brief","mathspeak.brief","self::root"],["Specialized","abstr-root-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-root-nested-end","default.default","self::root","contains(@grammar, \"collapsed\")","children/*/descendant-or-self::sqrt or children/*/descendant-or-self::root","following-sibling::* or ancestor::*/following-sibling::*"],["Precondition","abstr-root-nested","default.default","self::root","children/*/descendant-or-self::sqrt or children/*/descendant-or-self::root"],["Precondition","abstr-root-nested-brief","mathspeak.brief","self::root","children/*/descendant-or-self::sqrt or children/*/descendant-or-self::root"],["Specialized","abstr-root-nested-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-superscript","default.default","self::superscript"],["Precondition","abstr-subscript","default.default","self::subscript"],["Precondition","abstr-subsup","default.default","self::superscript","name(children/*[1])=\"subscript\""],["Precondition","abstr-infixop","default.default","self::infixop"],["Precondition","abstr-infixop-var","default.default","self::infixop","count(./children/*)>2","./children/punctuation[@role=\"ellipsis\"]"],["Precondition","abstr-infixop-brief","mathspeak.brief","self::infixop"],["Specialized","abstr-infixop-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-addition","default.default","self::infixop","@role=\"addition\""],["Precondition","abstr-addition-brief","mathspeak.brief","self::infixop","@role=\"addition\""],["Specialized","abstr-addition-brief","mathspeak.brief","mathspeak.sbrief"],["Precondition","abstr-addition-var","default.default","self::infixop","@role=\"addition\"","count(./children/*)>2","./children/punctuation[@role=\"ellipsis\"]"],["Precondition","abstr-multiplication","default.def
|
|||
|
,
|
|||
|
"base/rules/summary_base_romance.min":
|
|||
|
{"modality":"summary","locale":"romance","kind":"abstract","inherits":"base","rules":[["Precondition","collapsed-masculine","default.default","self::*[@grammar]","contains(@grammar, \"gender:m\")","contains(@grammar, \"collapsed\")"],["Specialized","collapsed-masculine","default.default","mathspeak.brief"],["Specialized","collapsed-masculine","default.default","mathspeak.sbrief"],["Precondition","collapsed-feminine","default.default","self::*[@grammar]","contains(@grammar, \"gender:f\")","contains(@grammar, \"collapsed\")"],["Specialized","collapsed-feminine","default.default","mathspeak.brief"],["Specialized","collapsed-feminine","default.default","mathspeak.sbrief"],["Rule","no-collapsed","default.default","[t] \"\"","self::*[@grammar]","contains(@grammar, \"gender\")","not(contains(@grammar, \"collapsed\"))"],["SpecializedRule","no-collapsed","default.default","mathspeak.brief"],["SpecializedRule","no-collapsed","default.default","mathspeak.sbrief"]]}
|
|||
|
}
|
|||
|
|