expectation_p()
KEYWORDS
KEYWORDS_R
remove_type()
Domain
Individual
Var
LF
ULF
ELF
Eventuality
Condition
Repetition
parse_eventuality()
parse_condition()
parse_repetition()
parse_eventuality_list()
from_lisp_file()
from_lisp_dirs()
extract_set()
make_set()
is_set()
set_union()
equal_prop_p()
not_prop_p()
and_prop_p()
or_prop_p()
characterizes_prop_p()
Check whether eventuality e is an expectation or intention.
An eventuality is an expectation iff it is not a special eventuality type, and the subject of its wff is not Eta.