RE: [BLD] XML syntax for the slots


On purpose:

UNITERMs with named arguments correspond to

3. Terms with named arguments. A term with named arguments is of the form t(s1->v1 ... sn->vn), where t \in Const and v1, ..., vn are base terms and s1, ..., sn are pairwise distinct symbols from the set ArgNames.

Frames correspond to

7. Frame terms. t[p1->v1 ... pn->vn] is a frame term (or simply a frame) if t, p1, ..., pn, v1, ..., vn, n  0, are base terms.

For example, unlike the s1, ..., sn of named-argument UNITERMs,
the p1, ..., pn of frames can be complex expressions.


-----Original Message-----
From: Christian de Sainte Marie [] 
Sent: June 12, 2008 12:28 PM
To: Boley, Harold; RIF WG
Subject: [BLD] XML syntax for the slots


I was wondering why the XML syntax for slots was different between slots 
in an UNITERM:
  <slot ordered="yes">

and in a Frame:
  <slot ordered="yes">

Is that on purpose, or is it just oversight?

Christian (working on the PRD-BLD compatibility table :-)

Received on Thursday, 12 June 2008 16:35:51 UTC