有EBNF表格通知7吗？

Question

我正在尝试学习语言信息7和它非常奇怪的编程模型。

不幸的是，我发现很难理解它，因为语言读起来很像自然英语。我似乎不能直观地理解什么是自然的英语陈述，而不是语法中的有效陈述。

是否有人以EBNF形式提供了通知7语法？我想这可能会让我更容易理解。

Answer 1

手册第19章中有一个BNF语法，由“通知”的作者提出，并限定“BNF是否是一个自然语言系统的好工具是值得怀疑的”。

看上去是这样的：

<rule> ::= 
  Definition : A/an <kind> is <new adjectival name> if/unless <definition> 
  | <preamble> : <phrases> 
  | <preamble> , <phrase> (* only allowed for a few cases: see below)

<definition> ::= 
  <condition> 
  | its/his/her/their <value property name> is/are <value> or less/more 
  | : <phrases>

<preamble> ::= 
  To <phrase template> 
  | To decide if/whether <phrase template> 
  | To decide which/what <kind of value> is <phrase template> 
  | This is the <rule name> 
  | [[A] Rule for] <circumstances> [(this is the <rule name>)]

<circumstances> ::= 
  At <time> 
  | When <event name> 
  | [<placement>] <rulebook reference> [while/when <condition>] [during <scene name>]
  <rulebook reference> ::= 
  <rulebook name> [about/for/of/on/rule] [<action pattern>] 
  | <object-based-rulebook name> [about/for/of/on/rule] [<description>]

<placement> ::= 
  a/an 
  | [the] first 
  | [the] last

<phrases> ::= 
  <phrase> 
  | <phrases> ; <phrase>