ABSTRACT
To start with (I) : the additional primitive symbols and syntactic rules in volved with new syntactic categories, added to those of the syntactic system
of EL are given below: (i) { .} ./.
where V M denotes the set of discourse markers of type (s, e) and {^4/x} a state switcher acting on any term of an arbirtary type t.