set_union()
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()
extract_set()
make_set()
is_set()
equal_prop_p()
not_prop_p()
and_prop_p()
or_prop_p()
characterizes_prop_p()
Forms a union set wff from two set wffs.