Context-sensitive subject equivalence
for native type assignment.
</news>
- <news date="In progress.">
+ <news date="2012 April 16.">
Context-sensitive subject equivalence
for atomic arity assignment.
</news>
according to the following table.
A notation file covering the whole specification is provided.
The notation for the relations or functions introduced in each file
- is shown in parentheses.
+ is shown in parentheses (? are placeholders).
</body>
<table name="basic_2_src"/>