Previous: Multi-response query performatives
Up: Reserved Performative Names
Next: Generator performatives
achieve
:content <expression>
:language <word>
:ontology <word>
:force <word>
:sender <word>
:receiver <word>
Performatives of this type are requests that the recipient try to make
the sentence in :content true of the system (technically, that
the sender wants the recipient to want to make the sentence true of the
system).
unachieve
:content <expression>
:language <word>
:ontology <word>
:sender <word>
:receiver <word>
A performative of this type is the same as a deny of an achieve.
finin@cmsc