6 lines
918 B
Text
6 lines
918 B
Text
{"rule":"DE_CASE","sentence":"^\\Q[(T3)] Endliche Schnitte von Mengen in \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sind in \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q enthalten.\\E$"}
|
|
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\Q[cases] mycase Fall . Fall (): \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q subcases\\E$"}
|
|
{"rule":"COMMA_PARENTHESIS_WHITESPACE","sentence":"^\\Q[cases] mycase Fall . Fall (): \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q subcases\\E$"}
|
|
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\Q=1em\\E$"}
|
|
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QDer Abschluss \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q einer Teilmenge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist: \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q abg.\\E$"}
|
|
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie kofinite Topologie \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q auf einer Teilmenge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist gröber als die Standardtopologie \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
|