Changes between Version 12 and Version 13 of TemplateDescriptionID

Timestamp:

06/09/08 23:33:52 (16 years ago)

Author:

jowik (IP: 193.212.132.34)

Comment:

--

TemplateDescriptionID

@@ -59 +59 @@
 \begin{align*} 
 \tname{ID}( x_1, x_2 ) \equiv \quad &\trole{ID\_Identified}( x_1 ) \land \trole{ID\_Identifier}( x_2 ) \land\\
- & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2)
+ & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2))
 \end{align*}
 }}}