Assumption
From UNL Wiki
(Difference between revisions)
(New page: Assumptions must be represented, in UNL, by the attribute @assumption, which is a value of modality. *X is intended to be Y = equ(X, Y.@assumption) *X is meant to be Y = equ(X, Y.@ass...) |
|||
Line 1: | Line 1: | ||
− | Assumptions must be represented, in UNL, by the attribute @assumption, which is a value of [[modality]]. | + | '''Assumptions''' must be represented, in UNL, by the attribute @assumption, which is a value of [[modality]]. |
*X is intended to be Y = equ(X, Y.@assumption) | *X is intended to be Y = equ(X, Y.@assumption) |
Latest revision as of 14:18, 30 May 2010
Assumptions must be represented, in UNL, by the attribute @assumption, which is a value of modality.
- X is intended to be Y = equ(X, Y.@assumption)
- X is meant to be Y = equ(X, Y.@assumption)
- X is said to be Y = equ(X, Y.@assumption)
The same applies to actions:
- X is intended to be done = obj(do.@assumption, X)
- X is meant to be done = obj(do.@assumption, X)
- X is said to be done = obj(do.@assumption, X)