Assumption

From UNL Wiki
Revision as of 15:18, 30 May 2010 by Martins (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)
Retrieved from "http://www.unlweb.net/wiki/index.php?title=Assumption&oldid=2720"
Software