Assumption

From UNL Wiki
(Difference between revisions)
Jump to: navigation, search
(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)
Software