extract_set()
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()
expectation_p()
make_set()
is_set()
set_union()
equal_prop_p()
not_prop_p()
and_prop_p()
or_prop_p()
characterizes_prop_p()
Extract a list of items from a wff of form [set-of, x, y, ...], or of form [x, and, y, and, ...].
[set-of, x, y, ...]
[x, and, y, and, ...]