The previous axioms can be used to reorder arguments to bring any single argument to the front of the argument list to be quantified.

可以使用前面的公理重新安排实际参数来把任何单一实际参数提到参数列表的前面来被量化。

If you intend to omit the argument, use successive commas in the argument list to mark its omission.

若要省略引数，请在引数清单中使用连续的逗号，来标记其省略。

Note the argument list after the class name.

注意类名字后面的参数列表。

The open-parenthesis is followed by an optional argument list.

开括号后面跟着一个可选的参数列表。

The method return type appears after the argument list.

方法的返回类型在参数列表的最后出现。

A trailing comma may be present after an argument list but does not affect the semantics.

在参数表后面可以出现一个逗号,但它在语义上是没有任何作用的.

The first extension that Ruby adds to the simple code block is an argument list.

Ruby 添加到这个简单代码块的第一个扩展是一个参数列表。

Follow the procedure name with parentheses to enclose the argument list.

请在过程名称后面用括号将参数列表括起来.

The method name and argument list together uniquely identify the method.

自变量列表列出了想传递给方法的信息类型和名称.

A predicate name, followed by an argument list in parentheses, is called an atomic formula.

一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。