:- dynamic mexp/1.
:- module_transparent mexp/1.

mexp(forall(_, register_lexical_items(_))).
mexp(repaired_words(iz(list), _)).
mexp(assertion(atomic(_), iz(string))).
mexp(assert_phrase_1subrule(_, iz(list), _)).
mexp(assert_phrase_subrules(_, iz(list), _)).
mexp(assume_dyn_fail(_//_)).
mexp(assert_proper_name(_, iz(list), _)).
mexp(assert_phrase_rule(proper_name(_, _), _)).
mexp(number_spec_number(iz(list), _)).
mexp(use_module(library(_))).
mexp(compound_name_arguments(_, _, iz(list))).
mexp(style_check(-_)).
mexp(asserta_until_eof(def_prolog_prim_te(_, _))).
mexp(op(iz(number), _, _)).
mexp(must_or_rtrace(tellg(_))).
mexp(begin(maybe_log_when_added_action(_, _), _)).
mexp(forall(when_added(_, _), begin(_, _))).
mexp(when_added(_, tell(_))).
mexp(well_typed(_, _, iz(list), _)).
mexp(well_typed(iz(condition), _, _, _)).
mexp(well_typed(property_value(_, _, _), _, _, _)).
mexp(well_typed_arguments(iz(list), iz(list), _, _)).
mexp(copy_list_as_variables(iz(list), iz(list))).
mexp(variable_well_typed(_, _, _, iz(list))).
mexp(variable_well_typed(_, _, _, _, iz(list))).
mexp(lookup_variable_type(_, _, iz(list))).
mexp(enforce_args(_, iz(list), iz(list))).
mexp(cltf(_, _, iz(number), iz(number))).
mexp(informed_about(_, iz(condition))).
mexp(closed_word_naf(iz(condition))).
mexp(set_prop_text(_, iz(string))).
mexp(line(_, iz(string), _)).
mexp(generate_overlay(iz(string), fkey_command(_, _), line(_, _, _))).
mexp(fkey_command(_, iz(string))).
mexp(call_method(_, updatetext(_), _)).
mexp(begin(component_of_gameobject_with_type(_, _, _), call_method(_, _, _))).
mexp(display_as_overlay(iz(list))).
mexp(generate_overlay(_, character_debug_display(_, _), _)).
mexp(test_file(freeze(_), iz(string))).
mexp(randomize(utterance(_, _, _))).
mexp(step_limit(iz(number))).
mexp(well_formed_dialog_act(acceptance(_, _, _, _))).
mexp(well_formed_dialog_act(general_help(_, _))).
mexp(well_formed_dialog_act(how_do_i(_, _, _))).
mexp(well_formed_dialog_act(objective_query(_, _))).
mexp(well_formed_dialog_act(color_query(_, _, _))).
mexp(well_formed_dialog_act(question(_, _, _, _, _))).
mexp(well_formed_dialog_act(command(_, _, _))).
mexp(well_formed_dialog_act(assertion(_, _, _, _, _))).
mexp(well_formed_dialog_act(offer(_, _, _, _))).
mexp(well_formed_dialog_act(inaction(_, _, _, _))).
mexp(well_formed_dialog_act(automa_command(_, _, _, _, _))).
mexp(well_formed_dialog_act(show_status(_, _, _))).
mexp(proper_name(_, iz(list))).
mexp(_ is _-_).
mexp(caption(_, iz(string))).
mexp(contracted_form(iz(list), _)).
mexp(determine_truth_value(~(_), _)).
mexp(know_true(~(_))).
mexp(know_false(~(_))).
mexp(know_whether(iz(condition))).
mexp(know_whether(property_value(_, _, _))).
mexp(forall(call(_, _, _), write_transition(_, _, _, _))).
mexp(open(iz(string), _, _)).
mexp(begin(call(_, _, _), call(_, _, _), gz_command(_, _))).
mexp(forall(call(_, _, _, _), write_transition_with_attributes(_, _, _, _))).
mexp(begin(writeln(_, _), forall(_, _), forall(_, _), writeln(_, _))).
mexp(forall(call(_, _, _), begin(_, _, _, _))).
mexp(forall(call(_, _, _), write_node_with_attributes(_, _, _))).
mexp(freeze(_, iz(number))).
mexp(test(freeze(_), iz(list))).
mexp(test(freeze(_))).
mexp(topological_sort_recur(_, _, iz(list), _)).
mexp(topological_sort_recur(iz(list), _, _, _)).
mexp(ensurez(declare_kind(_, _))).
mexp(ignore(initialize_prop(_, _))).
mexp(ensurez(prop(_))).
mexp(assertion(kind(_), prop_has_unknown_kind(_, _))).
mexp(ensurez(door(_))).
mexp(ensurez(base_kind(_, _))).
mexp(ensurez(character(_))).
mexp(ensurez(iz(list))).
mexp(_ is distance(_, _)).
mexp(arg_min(_, _, _ is _)).
mexp(unity_call(_._)).
mexp(property(_, iz(string), _)).
mexp(character_status_string(_, iz(number))).
mexp(emotion_string(_, iz(string))).
mexp(normalize_task(emote(_), emote(_))).
mexp(_ is _+_).
mexp(begin(iz(uslash), _ is _, iz(uslash), iz(uslash))).
mexp(generate_unsorted_overlay(_, game_over_status_line(_), line(_), iz(string))).
mexp(game_over_header(iz(string))).
mexp(objectives_achieved(iz(number))).
mexp(once(unachieved_objective(_))).
mexp(game_over_status_line(iz(string))).
mexp(generate_unsorted_overlay(iz(string), sample_command(_), line(_), iz(string))).
mexp(sample_command(iz(string))).
mexp(generate_unsorted_overlay(iz(string), vocabulary_entry(_), line(_), _)).
mexp(vocabulary_entry(iz(list))).
mexp(vocabulary_type(iz(string), verb_list_element(_))).
mexp(iv(_, _, _, _, _, _, iz(list))).
mexp(tv(_, _, _, _, _, _, iz(list))).
mexp(dtv(_, _, _, _, _, _, iz(list))).
mexp(verb_with_clausal_complement(_, _, _, _, _, _, _, iz(list))).
mexp(verb_with_object_and_clausal_complement(_, _, _, _, _, _, _, _, iz(list))).
mexp(vocabulary_type(iz(string), noun_list_element(_))).
mexp(kind_noun(_, _, _, iz(list))).
mexp(vocabulary_type(iz(string), proper_name_list_element(_))).
mexp(proper_name(_, _, _, iz(list))).
mexp(vocabulary_type(iz(string), adjective_list_element(_))).
mexp(adjective(_, _, iz(list))).
mexp(vocabulary_type(iz(string), preposition_list_element(_))).
mexp(preposition_list_element(iz(list))).
mexp(vocabulary_type(iz(string), other_words_list_element(_))).
mexp(other_words_list_element(iz(list))).
mexp(generate_unsorted_overlay(iz(string), grammar_entry(_), line(_), _)).
mexp(once(format_grammar_rule_body(_, _, _))).
mexp(grammar_entry(iz(list))).
mexp(format_grammar_rule_body(_, _, iz(list))).
mexp(grammar_subgoal_dissection('C'(_, _, _), _, _, _)).
mexp(word_list(_, iz(list))).
mexp(suppress_grammar_goal_in_pretty_print(lf_subject(_, _))).
mexp(suppress_grammar_goal_in_pretty_print(lf_core_predicate(_, _))).
mexp(suppress_grammar_goal_in_pretty_print(resolve_definite_description(_, _))).
mexp(suppress_grammar_goal_in_pretty_print(impose_selectional_constraint(_, _))).
mexp(suppress_grammar_goal_in_pretty_print(not_generating_or_completing(_, _))).
mexp(suppress_grammar_goal_in_pretty_print(not_completing(_, _, _))).
mexp(nonterminal_pretty_name(_, iz(string))).
mexp(space_out(iz(list), iz(list))).
mexp(important_nonterminal(_, iz(number))).
mexp(nonterminal(_, iz(number))).
mexp(once(caption(_, _))).
mexp(generate_unsorted_overlay(iz(string), once(_), line(_), iz(string))).
mexp(generate_unsorted_overlay(iz(string), iz(condition), line(_), iz(string))).
mexp(notebook_entry(iz(list))).
mexp(not(plot_question_answered(_))).
mexp(unless(A, log(handler_failed(A)))).
mexp(ignore(maybe_remember_event(_))).
mexp(generate_unique(_, construal(_, _))).
mexp(construe(assertion(_, _, _, _, _), mention(_))).
mexp(construe(question(_, _, _, _, _), mention(_))).
mexp(construe(command(_, _, _), mention(_))).
mexp(when(_<_, iz(uslash))).
mexp(if(iz(uslash), when(_, _), iz(uslash))).
mexp(action_functor(_, iz(number))).
mexp(precondition(pickup(_), iz(condition))).
mexp(precondition(pickup(_), docked_with(_))).
mexp(postcondition(pickup(_), iz(condition))).
mexp(precondition(putdown(_, _), iz(condition))).
mexp(precondition(putdown(_, _), docked_with(_))).
mexp(postcondition(putdown(_, _), iz(condition))).
mexp(precondition(ingest(_), iz(condition))).
mexp(precondition(ingest(_), docked_with(_))).
mexp(postcondition(ingest(_), ~(_))).
mexp(member(~(_), _)).
mexp(inferrable_postcondition(iz(condition))).
mexp(pause(iz(number))).
mexp(next_action(pause(_))).
mexp(generate_unique(_, available_action(_))).
mexp(arg_max(_, _, iz(uslash))).
mexp(ignore(iz(uslash))).
mexp(sumall(_, iz(condition), _)).
mexp(randomize(headline(_, _))).
mexp(theTextM(iz(list), _, _)).
mexp(strategy(_, run_quip(_))).
mexp(normalize_task(run_quip(_), begin(_, _))).
mexp(respond_to_quip_markup(iz(list))).
mexp(respond_to_quip_markup(introduce_question(_, _))).
mexp(tell(plot_question_introduced(_))).
mexp(begin(tell(_), plot_question_flavor_text(_, _), emote(_))).
mexp(respond_to_quip_markup(introduce_goal(_, _))).
mexp(tell(iz(condition))).
mexp(respond_to_quip_markup(clue(_, _))).
mexp(tell(clue(_))).
mexp(respond_to_quip_markup(reveal(_))).
mexp(tell(revealed(_))).
mexp(respond_to_quip_markup(answered(_))).
mexp(tell(plot_question_answered(_))).
mexp(reduction_clause(beat_start_task(_), _)).
mexp(reduction_clause(beat_idle_task(_), _)).
mexp(reduction_clause(beat_tasks(_), _)).
mexp(ignore_undeclared_task(_, iz(number))).
mexp(canonicalize_beat_dialog_task(_, run_quip(_))).
mexp(beat_task_name(run_quip(_), _)).
mexp(todo(_, iz(number))).
mexp(monolog_task(_, _, begin(_, _))).
mexp(begin(run_quip(_), iz(condition), iz(uslash))).
mexp(monolog_task(_, _, begin(_, _, _))).
mexp(begin(_, iz(uslash))).
mexp(tell(iz(uslash))).
mexp(arg_max(_, _, beat_score(_, _))).
mexp(forall(iz(condition), _)).
mexp(beat_requirement(_, beat_state(_, _))).
mexp(beat_requirement(_, iz(uslash))).
mexp(beat_requirement(_, character_remembers_recently(_, _))).
mexp(test_file(problem_solver(_), iz(string))).
mexp(beat_declaration_assertions(_, _, iz(list))).
mexp(generate_unsorted_overlay(iz(string), iz(condition), _)).
mexp(line(iz(string))).
mexp(color(iz(string), line(_))).
mexp(beat_info(color(_, _))).
mexp(beat_info((table _))).
mexp(once(beat_display_color(_, _, _, _, _))).
mexp(line(iz(string), _, iz(string), _)).
mexp(character_debug_display(_, line(_, _, _, _))).
mexp(line(iz(string), _)).
mexp(character_debug_display(_, line(_, _))).
mexp(beat_graph_node(_, iz(list))).
mexp(beat_graph_attributes(_, iz(list))).
mexp(beat_graph_relation(_, _, iz(list))).
mexp(beat_includes_markup(_, introduce_goal(_, _))).
mexp(beat_includes_markup(_, introduce_question(_, _))).
mexp(beat_includes_markup(_, answered(_))).
mexp(normalize_precondition_for_graph(iz(condition), _)).
mexp(beat_includes_markup(_, clue(_))).
mexp(beat_graph_subgraph(_, iz(list))).
mexp(begin(canonical_form_of_task(_, _), reduce_canonical_form(_, _))).
mexp(begin(maybe_trace_reduction(_), matching_strategies(_, _), selected_reduction_with_before_after(_, _, _))).
mexp(append_task_lists(_, iz(list), _, _)).
mexp(begin(selected_reduction(_, _, _), iz(condition), iz(condition), append_task_lists(_, _, _, _))).
mexp(selected_reduction(_, iz(list), _)).
mexp(emit_grain(iz(string), iz(number))).
mexp(selected_reduction(_, _, resolve_match_failure(_))).
mexp(selected_reduction(_, _, resolve_conflict(_, _))).
mexp(normalize_task(if(_, _, _), _)).
mexp(normalize_task(cases(_), _)).
mexp(normalize_task(unless(_, _), _)).
mexp(normalize_task(unless(_, _, _), _)).
mexp(normalize_task(unless(_, _, _, _, _), _)).
mexp(normalize_task(unless(_, _, _, _, _, _), _)).
mexp(normalize_task(when(_, _), _)).
mexp(normalize_task(when(_, _, _), _)).
mexp(normalize_task(when(_, _, _, _, _), _)).
mexp(normalize_task(when(_, _, _, _, _, _), _)).
mexp(normalize_task({_}, _)).
mexp(normalize_task(begin(_, _), _)).
mexp(normalize_task(begin(_, _, _), _)).
mexp(normalize_task(begin(_, _, _, _), _)).
mexp(normalize_task(begin(_, _, _, _, _), _)).
mexp(normalize_task(begin(_, _, _, _, _, _), _)).
mexp(normalize_task(wait_event_with_timeout(_, _), wait_event(_, _))).
mexp(match(_, iz(condition), _)).
mexp(fail_match(_, iz(condition))).
mexp(forall(_, if(_, _, _))).
mexp(show_decomposition_aux(resolve_match_failure(_))).
mexp(begin(write(_), iz(call))).
mexp(show_decomposition_aux(resolve_conflict(_, _))).
mexp(commafy_task_list(iz(list), _)).
mexp(resolve_match_failure(resolve_match_failure(_))).
mexp(reduce_to_primitive(resolve_match_failure(_), _)).
mexp(begin(tell(_), _)).
mexp(switch_to_task(tell(_))).
mexp(switch_to_task(invoke_continuation(_))).
mexp(switch_to_task(wait_condition(_))).
mexp(begin(iz(uslash), iz(uslash), switch_to_task(_))).
mexp(switch_to_task(let(_, _))).
mexp(switch_to_task(resolve_match_failure(_))).
mexp(affective_reaction(iz(number), iz(number), iz(number), iz(number))).
mexp(begin(iz(uslash), emote(_), failed_task(_, _), emit_grain(_, _), affective_reaction(_, _, _, _), _, _)).
mexp(begin(canonical_form_of_task(_, _), switch_to_canonical_task(_))).
mexp(begin(task_reduction(_, _), switch_to_task(_))).
mexp(task_precondition_satisfied(iz(condition))).
mexp(forall(member(_, _), _)).
mexp(begin_child_qud(_, _, _, _, iz(list))).
mexp(immediate_builtin(tell(_))).
mexp(immediate_builtin(invoke_continuation(_))).
mexp(immediate_builtin(let(_, _))).
mexp(polled_builtin(wait_condition(_))).
mexp(polled_builtin(wait_event(_))).
mexp(polled_builtin(wait_event(_, _))).
mexp(have_strategy_aux(resolve_match_failure(_))).
mexp(default_strategy(resolve_conflict(_, _), _)).
mexp(default_strategy(resolve_match_failure(_), restart(_))).
mexp(strategy(restart(_), invoke_continuation(_))).
mexp(once(random_member(_, _))).
mexp(strategy(pick_randomly(_), _)).
mexp(strategy(pick_preferred(_, _), _)).
mexp(preferred_strategy(_, iz(list), _)).
mexp(max_preference(_, _, iz(list), _)).
mexp(within_task(_, invoke_continuation(_))).
mexp(begin(iz(uslash), maybe_save_log(_), stop_qud(_))).
mexp(assertion(iz(uslash), iz(string))).
mexp(begin(perform_restart_retractions(_), assertion(_, _), iz(uslash), iz(uslash), invoke_continuation(_, _))).
mexp(forall(retract_on_restart(_, _), ignore(_))).
mexp(retract_on_restart(_, iz(uslash))).
mexp(begin(iz(list))).
mexp(within_task(_, begin(_))).
mexp(assert_reductions(_, if(_, _, _))).
mexp(ensurez(reduces_to_aux(_, _, _, _))).
mexp(reduces_to(iz(uslash), iz(uslash))).
mexp(bad_reduction(iz(uslash), iz(uslash))).
mexp(primitive_task(_, iz(number))).
mexp(test(problem_solver(_), iz(list))).
mexp(strategy(resolve_match_failure(_), _)).
mexp(strategy(achieve(_), _)).
mexp(achieve(runnable(_))).
mexp(unachievable(iz(condition))).
mexp(strategy(achieve_precondition(_, _), _)).
mexp(explain_failure(~(_))).
mexp(abort_and_then(explain_failure(_))).
mexp(default_strategy(achieve_precondition(_, _), abort_and_then(_))).
mexp(begin(perform_restart_retractions(_), invoke_continuation(_))).
mexp(normalize_task(abort_and_then(_), begin(_, _))).
mexp(achieve(iz(condition))).
mexp(default_strategy(achieve(_), putdown(_, _))).
mexp(begin(goto(_), get_in(_))).
mexp(know(_, iz(condition))).
mexp(precondition(iz(action), iz(condition))).
mexp(strategy(iz(action), achieve(_))).
mexp(achieve(docked_with(_))).
mexp(precondition(goto(_), iz(condition))).
mexp(strategy(goto(_), _)).
mexp(unless(iz(condition), goto_internal(_))).
mexp(once(character(_))).
mexp(unless(docked_with(_), goto_internal(_))).
mexp(wait_event(arrived_at(_))).
mexp(spawn_child_task(wait_event(_), _, iz(list))).
mexp(strategy(goto_internal(_), let(_, _))).
mexp(after(goto_internal(_), greet(_, _))).
mexp(strategy(iz(action), goto(_))).
mexp(strategy(iz(action), iz(action))).
mexp(normalize_task(iz(action), iz(action))).
mexp(task_interacts_with_objects(iz(action), iz(list))).
mexp(guard_condition(_, iz(condition))).
mexp(failed_because(cant_find(_))).
mexp(unless(iz(condition), failed_because(_))).
mexp(begin(iz(action), unless(_, _))).
mexp(mental_monolog(iz(list))).
mexp(search_object(_, _, handle_discovery(_), mental_monolog(_))).
mexp(strategy(iz(action), search_object(_, _, _, _))).
mexp(begin(emote(_), mental_monolog(_))).
mexp(strategy(handle_discovery(_), begin(_, _))).
mexp(after(handle_discovery(_), pickup(_))).
mexp(before(search_object(_, _, _, _), goto(_))).
mexp(search_object(_, _, _, search_object(_, _, _, _))).
mexp(if(nearest_unsearched(_, _), search_object(_, _, _, _), begin(_, _))).
mexp(strategy(search_object(_, _, _, _), {_})).
mexp(ignore(reveal_hidden_item(_))).
mexp(strategy(search_object(_, _, _, _), if(_, _, _))).
mexp(let(reduce(_, _, _), _)).
mexp(begin(pause(_), tell(_), _)).
mexp(if(_, begin(_, _), begin(_, _, _))).
mexp(default_strategy(search_object(_, _, _, _), if(_, _, _))).
mexp(nearest(_, unsearched(_, _))).
mexp(strategy(iz(action), ingest(_))).
mexp(postcondition(iz(action), ~(_))).
mexp(self_achieving(iz(uslash))).
mexp(with_status_text(iz(number), pause(_))).
mexp(strategy(iz(action), with_status_text(_, _))).
mexp(strategy(engage_in_conversation(_), _)).
mexp(freeze(_, _ is _)).
mexp(wait_condition(after_time(_))).
mexp(strategy(pause(_), wait_condition(_))).
mexp(achieve_precondition(_, ready_to_hand(_))).
mexp(tell_globally(examined(_))).
mexp(precondition(iz(action), ready_to_hand(_))).
mexp(if(examination_content(_, _), pop_up_examination_content(_), describe(_, _, _))).
mexp(tell(examined(_))).
mexp(strategy(iz(action), begin(_, _))).
mexp(maybe_remember_event(iz(action))).
mexp(after(iz(action), maybe_remember_event(_))).
mexp(say_string(iz(string))).
mexp(if(examination_content(_, _), pop_up_examination_content(_), say_string(_))).
mexp(strategy(iz(action), if(_, _, _))).
mexp(if(examination_content(_, _), pop_up_examination_content(_), log(no_examination_content(_)))).
mexp(strategy(force_examine(_), if(_, _, _))).
mexp(default_strategy(iz(action), say_string(_))).
mexp(default_strategy(iz(action), activate_prop(_))).
mexp(default_strategy(iz(action), deactivate_prop(_))).
mexp(strategy(iz(action), operate(_))).
mexp(begin(iz(uslash), _)).
mexp(normalize_task(on_behalf_of(_, _), begin(_, _))).
mexp(normalize_task(spawn(_), spawn_child_task(_))).
mexp(normalize_task(spawn(_, _, _), spawn_child_task(_, _, _))).
mexp(spawn_child_task(_, _, iz(list))).
mexp(normalize_task(with_status_text(_, _), let(_, _))).
mexp(let(spawn_child_task(_, _, _), _)).
mexp(normalize_task(with_child_task(_, _, _, _), let(_, _))).
mexp(normalize_task(with_child_task(_, _, _), let(_, _))).
mexp(wait_condition(child_completed(_, _))).
mexp(normalize_task(wait_for_child(_), wait_condition(_))).
mexp(begin(spawn(_), _)).
mexp(default_strategy(cobegin(_), begin(_, _))).
mexp(begin(spawn(_), spawn(_), spawn(_), _)).
mexp(default_strategy(cobegin(_, _, _), begin(_, _, _, _))).
mexp(begin(spawn(_), spawn(_), spawn(_), spawn(_), _)).
mexp(default_strategy(cobegin(_, _, _, _), begin(_, _, _, _, _))).
mexp(begin(spawn(_), spawn(_), spawn(_), spawn(_), spawn(_), _)).
mexp(default_strategy(cobegin(_, _, _, _, _), begin(_, _, _, _, _, _))).
mexp(begin(spawn(_), spawn(_), spawn(_), spawn(_), spawn(_), spawn(_), _)).
mexp(default_strategy(cobegin(_, _, _, _, _, _), begin(_, _, _, _, _, _, _))).
mexp(strategy(failed_because(_), begin(_, _))).
mexp(strip_task_wrappers(on_behalf_of(_, _), _)).
mexp(arg_max(_, _, todo(_, _))).
mexp(begin(set_status(_), _, cobegin(_), set_status(_))).
mexp(default_strategy(work_on_everyday_life_task(_), begin(_, _, _, _))).
mexp(unpack_preamble(iz(uslash), _, _)).
mexp(todo(iz(uslash), _)).
mexp(add_pending_task(_, iz(number))).
mexp(_ is _*_).
mexp(have_strategy(achieve(_))).
mexp(maintenance_goal(~(_))).
mexp(within_task(_, switch_to_task(_))).
mexp(begin(iz(uslash), iz(uslash), within_task(_, _))).
mexp(save_log(_, iz(string))).
mexp(begin(iz(uslash), log($me:polling_task_that_never_finished_starting(_, _)), save_log(_, _), stop_task(_))).
mexp(begin(iz(uslash), log($me:polling_task_that_never_finished_completing_timeout(_, _)), save_log(_, _), stop_task(_))).
mexp(begin(iz(uslash), log($me:polling_task_that_never_finished_completing_wait(_, _)), save_log(_, _), stop_task(_))).
mexp(begin(iz(uslash), log($me:polling_task_that_never_finished_restart(_, _)), save_log(_, _), restart_task(_))).
mexp(begin(iz(uslash), log($me:polling_task_that_already_exited(_, _)), save_log(_, _), stop_task(_))).
mexp(call_with_step_limit(iz(number), poll_action(_, _))).
mexp(call_with_step_limit(iz(number), poll_builtin(_, _))).
mexp(interrupt_step(_, achieve(_))).
mexp(poll_builtin(_, wait_condition(_))).
mexp(poll_builtin(_, wait_event(_))).
mexp(poll_builtin(_, wait_event(_, _))).
mexp(on_event(_, _, _, wait_event_completed(_, _))).
mexp(character_debug_display(_, iz(list))).
mexp(debugger_line(line(_, _))).
mexp(debugger_line(line(_))).
mexp(maybe_log_task(resolve_match_failure(_))).
mexp(when(save_task_logs(_, _), save_log(_, _))).
mexp(forall(iz(uslash), iz(uslash))).
mexp(begin(iz(uslash), property(_, _, _), iz(uslash), iz(uslash), forall(_, _))).
mexp(color(_, line(_, _))).
mexp(task_log_line(_, _, _, color(_, _))).
mexp(task_log_line(_, _, _, line(_, _))).
mexp(task_log_line(_, _, _, line(_))).
mexp(adjacent_in_list_circular(_, _, iz(list))).
mexp(adjacent_in_list(_, _, iz(list))).
mexp(last_element(_, iz(list))).
mexp(begin(iz(uslash), forall(_, _), script_update_await_list(_))).
mexp(on_event(_, _, _, script_update(_, _))).
mexp(begin(iz(uslash), ignore(_), bind(_, _), script_history(_, _), next_events(_, _, _), forall(_, _))).
mexp(unique_answer(_, iz(condition))).
mexp(incompatible_cl(iz(condition), iz(condition))).
mexp(test_file(integrity(_), iz(string))).
mexp(assertion(valid_kind(_), iz(string))).
mexp(topological_sort(iz(list), _, _)).
mexp(call_with_step_limit(iz(number), superkinds(_, _))).
mexp(call_with_step_limit(iz(number), subkinds(_, _))).
mexp(is_type(_, kind_of(_))).
mexp(is_type(_, subkind_of(_))).
mexp(unique_answer(_, property_value(_, _, _))).
mexp(for_all_unique(_, declare_kind(_, _), _)).
mexp(known_type(kind_of(_))).
mexp(known_type(subkind_of(_))).
mexp(for_all_unique(_, property_type(_, _, _))).
mexp(for_all_unique(_, relation_type(_, _, _))).
mexp(test(integrity(_), iz(list))).
mexp(test(_, iz(list))).
mexp(lambda_contains_undefined_predicate(iz(list), _)).
mexp(lambda_contains_undefined_predicate(iz(condition), relation(_))).
mexp(lambda_contains_undefined_predicate(property_value(_, _, _), property(_))).
mexp(lambda_contains_undefined_predicate(_, iz(uslash))).
mexp(automatically_believe(~(_))).
mexp(automatically_believable(iz(condition), iz(uslash))).
mexp(set_property(_, iz(string), _)).
mexp(decode_kind_names(_, iz(list), _)).
mexp(parse_list(_, _, default_value(_, _, _), _, kind_declaration_syntax_error(_, _, _))).
mexp(parse_list(_, _, default_related(_, _, _), _, kind_declaration_syntax_error(_, _, _))).
mexp(parse_list(_, _, declare_value(_, _, _), _, kind_declaration_syntax_error(_, _, _))).
mexp(parse_list(_, _, declare_related(_, _, _), _, kind_declaration_syntax_error(_, _, _))).
mexp(begin(define_kind(_, _, _), assert_default_description(_, _), decode_kind_names(_, _, _), decode_kind_names(_, _, _), log(assert_kind_nouns(_, _, _)), assert_kind_nouns(_, _, _), declare_kind(_, _), parse_list(_, _, _, _, _), parse_list(_, _, _, _, _), parse_list(_, _, _, _, _), parse_list(_, _, _, _, _))).
mexp(load_special_csv_row(_, kinds(_, _, _, _, _, _, _, _, _))).
mexp(decode_kind_names(iz(list), _, _)).
mexp(decode_kind_names(_, _, iz(list))).
mexp(pluralize(iz(list), iz(list))).
mexp(plur(_, iz(number), _)).
mexp(assert_kind_nouns(_, iz(list), _)).
mexp(assert_kind_nouns(_, _, iz(list))).
mexp(assert_phrase_rule(kind_noun(_, _), _)).
mexp(begin(forall(_, _), forall(_, _))).
mexp(forall(immediate_kind_of(_, _), leaf_kind(_))).
mexp(forall(predicate_type(_, _), check_predicate_signature(_, _))).
mexp(assert_phrase_rule(property_name(_), _)).
mexp(load_special_csv_row(_, properties(_, _, _, _, _))).
mexp(begin(declare_kind(_, _), visibility(_, _), relation_type(_, _, _), assert_copular_form(_, _), assert_genitive_form(_, _, _), assert_genitive_form(_, _, _), forall(_, _), _, _)).
mexp(load_special_csv_row(_, relations(_, _, _, _, _, _, _, _, _, _))).
mexp(assert_phrase_rule(copular_relation(_), _)).
mexp(assert_copular_form(_, iz(list))).
mexp(assert_phrase_rule(genitive_form_of_relation(_, _), _)).
mexp(member_pn(_, iz(list))).
mexp(forall(member_pn(_, _), assert_proper_name(_, _, _))).
mexp(load_special_csv_row(_, entities(_, _, _, _, _, _, _))).
mexp(true_after(_, iz(condition))).
mexp(intend(_, iz(action))).
mexp(permissible(iz(action))).
mexp(incompatible_cl(possession(_, _), possession(_, _))).
mexp(pprint(~(_), _, _)).
mexp(pprint(iz(condition), _, _)).
mexp(pprint(sup(_, _), _, _)).
mexp(dfunctor(~(_), _, _)).
mexp(rule_functor(_:=_, _, _)).
mexp(rule_functor(:^(_, _), _, _)).
mexp(dprolog_treat_as_primitive(iz(condition))).
mexp(dprolog_treat_as_primitive(true_after(_, _))).
mexp(undercut(_, _:=_)).
mexp(rebutted(_, _:=_)).
mexp(def_rule(_, _:=_)).
mexp(comp(~(_), _)).
mexp(comp(_, ~(_))).
mexp(sup_rule(_:=_, _:=_)).
mexp(sup_rule(_:=_, :^(_, _))).
mexp(preempted(_, _:=_)).
mexp(vp_test(iz(action), _, _)).
mexp(vp_test(drink(x, $lemonaid), _, _)).
mexp(vp_test(_, _, iz(list))).
mexp(test_file(generate(_, _), iz(string))).
mexp(test_file(complete(_, _), iz(string))).
mexp(test_file(parse(_, _), iz(string))).
mexp(memberchk(_, iz(list))).
mexp(turn_phrasal_verb(_, _, _, iz(action))).
mexp(forall(turn_phrasal_verb(_, _, _, _), register_lexical_item(_))).
mexp(modal_verb(_, _, iz(condition), _, _)).
mexp(modal_verb(_, _, iz(condition))).
mexp(verb_with_clausal_complement(_, _, _, _, iz(action), _, _, _)).
mexp(verb_with_clausal_complement(_, _, _, _, iz(action), _)).
mexp(verb_with_clausal_complement(_, _, _, _, iz(condition), iz(condition), _, _)).
mexp(verb_with_clausal_complement(_, _, _, _, iz(condition), iz(condition))).
mexp(verb_with_object_and_clausal_complement(_, _, _, _, _, iz(action), iz(action), _, _)).
mexp(verb_with_object_and_clausal_complement(_, _, _, _, _, iz(action), iz(action))).
mexp(phrase_rule(kind_noun(_, _), _, _)).
mexp(phrase_rule(proper_name(_, _), _, _)).
mexp(phrase_rule(proper_name_without_the(_, _), _, _)).
mexp(phrase_rule(genitive_form_of_relation(_, _), _, _)).
mexp(phrase_rule(property_name(_), _, _)).
mexp(phrase_rule(copular_relation(_), _, _)).
mexp(phrase_rule(adjective(_), _, _)).
mexp(phrase_rule(dtv(_, _, _, _, _), _, _)).
mexp(member(_, iz(list))).
mexp(carefull_words(iz(list), _)).
mexp(object_words0(_, _, iz(list))).
mexp(phrase_rule(iv(_, _, _, _, _), _, _)).
mexp(assert_phrase_rule(iv(_, _, _, _, _), _)).
mexp(assert_phrase_rule(iv(_, _, _, _, _), _, _\=_)).
mexp(load_special_csv_row(_, intransitive_verb(_, _, _, _, _, _, _))).
mexp(check_lexicon_typing(iv(_, _, _, _, _, _, _))).
mexp(assert_phrase_rule(tv(_, _, _, _, _), _)).
mexp(assert_phrase_rule(tv(_, _, _, _, _), _, _\=_)).
mexp(load_special_csv_row(_, transitive_verb(_, _, _, _, _, _, _))).
mexp(check_lexicon_typing(tv(_, _, _, _, _, _, _))).
mexp(tv(_, _, iz(condition), _, _, _, _)).
mexp(tv(_, _, iz(condition), _, _)).
mexp(phrase_rule(tv(_, _, _, _, _), _, _)).
mexp(assert_phrase_rule(dtv(_, _, _, _, _), _)).
mexp(assert_phrase_rule(dtv(_, _, _, _, _), _, _\=_)).
mexp(load_special_csv_row(_, ditransitive_verb(_, _, _, _, _, _, _))).
mexp(check_lexicon_typing(dtv(_, _, _, _, _, _, _))).
mexp(forall(_, check_lexical_entry_type(_))).
mexp(check_lexical_entry_type(iz(list))).
mexp(assert_phrase_rule(adjective(_), _)).
mexp(load_special_csv_row(_, adjective(_, _))).
mexp(generator_pp(iz(list), _, _, _, _, _, _, _)).
mexp(generator_pp(_, iz(list), _, _, _, _, _, _)).
mexp(generator_pp(_, iz(list), _, _, _, _)).
mexp(generator_pp(iz(list), _, _, _, _, _)).
mexp(enforce_set(iz(list))).
mexp(parser_opt_pp(iz(list), _, _, _, _, _, _)).
mexp(parser_opt_pp(iz(list), _, _, _, _)).
mexp(register_all_lexical_items(iz(list), preposition(_))).
mexp(respond_to_dialog_act(general_help(player, $me))).
mexp(normalize_task(iz(condition), _)).
mexp(respond_to_dialog_act(how_do_i(_, _, _))).
mexp(respond_to_dialog_act(objective_query(player, $me))).
mexp(respond_to_dialog_act(color_query(_, _, _))).
mexp(respond_to_dialog_act(if_navigation_command(_, _, _))).
mexp(respond_to_dialog_act(show_status(_, _, _))).
mexp(speech(iz(list))).
mexp(before(show_status(_), {_})).
mexp(strategy(show_status(_), {_})).
mexp(strategy(if_navigation_command(_), monolog(_))).
mexp(normalize_task(how_do_i(_), _)).
mexp(strategy(how_do_i(_), monolog(_))).
mexp(strategy(color_query(_), monolog(_))).
mexp(forall(nonterminal(_), test_nonterminal(_, _))).
mexp(nonterminal(utterance(_))).
mexp(nonterminal(s(_, _, _, _, _))).
mexp(nonterminal(vp(_, _, _, _, _, _))).
mexp(nonterminal(aux_vp(_, _, _, _, _))).
mexp(nonterminal(aux(_, _, _, _, _, _, _))).
mexp(nonterminal(np(_, _, _, _, _))).
mexp(once(ansicall(red, writeln(_:fail:_)))).
mexp(catch(once(_), A, ansicall(yellow, writeln(_:A:_)))).
mexp(test_options(generate(_, _), iz(list))).
mexp(np(_, _, _, _, _, iz(list), _)).
mexp(test(completion(_, _))).
mexp(np_test(_, _, _, iz(list))).
mexp(np(_, _, _, np(_), _, A, A)).
mexp(np(_, _, _, np(_), _)).
mexp(resolve_definite_description(_, iz(condition))).
mexp(kind_noun(_, _, iz(list), _)).
mexp(kind_noun_s(_, _, iz(list), _)).
mexp(resolve_definite_description0(_, iz(condition))).
mexp(modalized(_, _, _, past(_))).
mexp(modalized(_, _, _, future(_))).
mexp(lf_core_predicate(explanation(_, _), _)).
mexp(lf_core_predicate(not(_), _)).
mexp(lf_core_predicate(iz(condition), _)).
mexp(lf_core_predicate(must(_), _)).
mexp(lf_core_predicate_subject(iz(action), _)).
mexp(lf_core_predicate_subject(iz(condition), _)).
mexp(once(generate_text(_, _))).
mexp(color(_, line(_, _, _))).
mexp(generate_unsorted_overlay(iz(string), _, color(_, _))).
mexp(normalize_task(monolog(_), _)).
mexp(monolog(iz(list))).
mexp(strategy(generate_list(_, _), generate_empty(_))).
mexp(strategy(generate_list(_, _), generate_singleton(_, _))).
mexp(generate_list(iz(list), _)).
mexp(begin(generate_first(_, _), generate_rest(_, _))).
mexp(strategy(generate_list(_, _), begin(_, _))).
mexp(generate_rest(iz(list), _)).
mexp(begin(generate_next(_, _), generate_rest(_, _))).
mexp(strategy(generate_rest(_, _), begin(_, _))).
mexp(strategy(generate_rest(_, _), generate_last(_, _))).
mexp(default_strategy(generate_empty(_), _)).
mexp(default_strategy(generate_singleton(_, _), generate_next(_, _))).
mexp(default_strategy(generate_first(_, _), generate_next(_, _))).
mexp(default_strategy(generate_last(_, _), generate_next(_, _))).
mexp(strategy(say_list(_, _, _), say_string(_))).
mexp(strategy(say_list(_, _, _), speech(_))).
mexp(say_list(iz(list), _, _)).
mexp(begin(say_first(_, _), say_rest(_, _, _))).
mexp(strategy(say_list(_, _, _), begin(_, _))).
mexp(say_rest(iz(list), _, _)).
mexp(begin(say_next(_), say_rest(_, _, _))).
mexp(strategy(say_rest(_, _, _), begin(_, _))).
mexp(strategy(say_rest(_, _, _), say_last(_, _, _))).
mexp(strategy(say_first(_, _), speech(_))).
mexp(strategy(say_next(_), speech(_))).
mexp(strategy(say_last(_, _, _), speech(_))).
mexp(strategy(say_object(_), speech(_))).
mexp(strategy(say_string(_), speech(_))).
mexp(strategy(say(_), speech(_))).
mexp(strategy(say_answer(_), speech(_))).
mexp(strategy(speech(_), discourse_increment(_, _, _))).
mexp(strategy(mental_monolog(_), discourse_increment(_, _, _))).
mexp(starts_with_one_of(iz(string), _)).
mexp(register_all_lexical_items(iz(list), contraction(_, _, _, _))).
mexp(once(generate_text_for_menu(_, _))).
mexp(menu_dialog_act(_, command(_, _, _))).
mexp(menu_dialog_act(_, show_status(_, _, _))).
mexp(menu_dialog(_, question(_, _, _, _, _))).
mexp(menu_dialog(_, assertion(_, _, _, _, _))).
mexp(menu_dialog(_, automa_command(_, _, _, _, _))).
mexp(menu_dialog(_, command(_, _, _))).
mexp(menu_action(_, stop(_))).
mexp(menu_action(_, iz(action))).
mexp(once(iz(condition))).
mexp(setup(bind(_, _))).
mexp(test_options(completion(_, _), setup(_))).
mexp(s_test(iz(condition), _, _)).
mexp(test(generate(_, _))).
mexp(s_test(relation(_, _, _), _, _)).
mexp(s(iz(action), _, _, _, _, _, _)).
mexp(unbind(iz(list))).
mexp(s_test(_, _, iz(list))).
mexp(s(property_value(_, _, _), _, _, _, _, _, _)).
mexp(can(iz(action))).
mexp(test_file(completion(_, _), iz(string))).
mexp(bind_discourse_variables(iz(condition))).
mexp(member(iz(condition), _)).
mexp(vp(_, _, _, _, _, np(_), _, _)).
mexp(content_clause(iz(condition), _, A, A, _, _)).
mexp(content_clause(iz(condition), _, A, A)).
mexp(vp(_, _, _, _, _, np(_))).
mexp(ss(iz(condition), _, _, _, _, _, _)).
mexp(ss(iz(condition), _, _, _, _)).
mexp(at_least_once(valid_property_value(_, _))).
mexp(ss(property_value(_, _, _), _, _, _, _, _, _)).
mexp(ss(property_value(_, _, _), _, _, _, _)).
mexp(aux(np(_, _, _), _, _, _, _, _, _, _, _)).
mexp(aux(np(_, _, _), _, _, _, _, _, _)).
mexp(np(iz(action), _, _, _, _, _, _)).
mexp(manner(iz(action), _)).
mexp(np(iz(action), _, _, _, _)).
mexp(ss(method(_, _), _, _, _, _, _, _)).
mexp(ss(method(_, _), _, _, _, _)).
mexp(inverted_sentence(property_value(_, _, _), _, _, _, _, _)).
mexp(inverted_sentence(property_value(_, _, _), _, _, _)).
mexp(ss(explanation(_, _), _, _, _, _, _, _)).
mexp(ss(explanation(_, _), _, _, _, _)).
mexp(aux_gap(np(_, _, _), _, _)).
mexp(aux_gap(np(_, _, _))).
mexp(register_all_lexical_items(iz(list), modal_aux(_, _))).
mexp(before(goto(_), excuse_self(_, _))).
mexp(conversation_idle_task(_, do_beat_dialog(_))).
mexp(strategy(do_beat_dialog(_), _)).
mexp(begin(_, tell(_))).
mexp(default_strategy(do_beat_dialog(_), begin(_, _))).
mexp(question(_, _, iz(condition), _, _)).
mexp(strategy(iz(action), question(_, _, _, _, _))).
mexp(command(_, _, iz(action))).
mexp(strategy(iz(action), command(_, _, _))).
mexp(ask_about(_, _, question(_))).
mexp(strategy(iz(action), add_conversation_topic(_, _))).
mexp(add_conversation_topic(_, question(_))).
mexp(respond_to_dialog_act(question(_, _, _, _, _))).
mexp(let(lf_main_predicate(_, _), answer_wh(_, _, _, _))).
mexp(if(_, let(_, _), answer_yes_no(_, _))).
mexp(reduce_question(iz(condition), wellbeing(_, _))).
mexp(freeze(_, admitted_truth_value(_, _, _))).
mexp(strategy(answer_yes_no(_, _), generate_answer(_, _))).
mexp(strategy(generate_answer(_, _), agree(_, _, _, _))).
mexp(strategy(generate_answer(_, _), speech(_))).
mexp(if(iz(condition), generate_unique_answer(_, _, _, _), enumerate_answers(_, _, _, _))).
mexp(default_strategy(answer_wh(_, _, _, _), if(_, _, _))).
mexp(answer_wh(_, _, iz(condition), _)).
mexp(strategy(answer_wh(_, _, _, _), answer_wh(_, _, _, _))).
mexp(answer_wh(_, _, _, iz(condition))).
mexp(strategy(answer_wh(_, _, _, _), introduce_person(_))).
mexp(should(iz(action))).
mexp(strategy(answer_wh(_, _, _, _), show_status(_))).
mexp(strategy(answer_wh(_, _, _, _), iz(action))).
mexp(say_answer(iz(condition))).
mexp(strategy(answer_wh(_, _, _, _), say_answer(_))).
mexp(answer_can_wh(_, _, iz(condition), _)).
mexp(strategy(answer_wh(_, _, _, _), answer_can_wh(_, _, _, _))).
mexp(answer_with_list(_, iz(string), _, iz(condition))).
mexp(default_strategy(answer_can_wh(_, _, _, _), answer_with_list(_, _, _, _))).
mexp(strategy(answer_can_wh(_, _, _, _), show_status(_))).
mexp(answer_wh(_, _, wellbeing(_, _), _)).
mexp(answer_wh(_, _, explanation(_, _), _)).
mexp(cases(iz(list))).
mexp(strategy(answer_wh(_, _, _, _), cases(_))).
mexp(if(_, question_answer(_, _, _, _, _), speech(_))).
mexp(let(admitted_truth_value(_, _, _), if(_, _, _))).
mexp(default_strategy(generate_unique_answer(_, _, _, _), let(_, _))).
mexp(default_strategy(enumerate_answers(_, _, _, _), answer_with_list(_, _, _, _))).
mexp(connective_for_answer(_, iz(string))).
mexp(strategy(answer_with_list(_, _, _, _), say_string(_))).
mexp(say_list(_, _, question_answer(_))).
mexp(strategy(answer_with_list(_, _, _, _), say_list(_, _, _))).
mexp(da_normal_form(question(_, _, _, _, _), command(_, _, _))).
mexp(assertion(_, _, want(_, _), _, _)).
mexp(da_normal_form(assertion(_, _, _, _, _), command(_, _, _))).
mexp(assertion(_, _, iz(condition), _, _)).
mexp(would(iz(condition))).
mexp(da_normal_form(command(_, _, _), question(_, _, _, _, _))).
mexp(imperative_indirect_question(_, _, iz(action), _)).
mexp(da_normal_form(assertion(_, _, _, _, _), question(_, _, _, _, _))).
mexp(want(_, iz(condition))).
mexp(declarative_indirect_question(_, _, want(_, _), _)).
mexp(da_normal_form(assertion(_, _, _, _, _), assertion(_, _, _, _, _))).
mexp(likes(_, iz(action))).
mexp(normalized_assertion(_, _, iz(condition), _)).
mexp(normalized_assertion(_, _, iz(action), _)).
mexp(respond_to_dialog_act(greet(_, _))).
mexp(strategy(iz(condition), _)).
mexp(respond_to_dialog_act(parting(_, _))).
mexp(begin(iz(uslash), parting(_, _), pause(_), stop_qud(_))).
mexp(respond_to_dialog_act(excuse_self(_, _))).
mexp(respond_to_dialog_act(discourse_increment(_, _, _))).
mexp(discourse_increment(_, _, iz(list))).
mexp(begin(iz(condition), iz(condition))).
mexp(default_strategy(iz(condition), _)).
mexp(respond_to_increment(_, _, s(_))).
mexp(respond_to_dialog_act(assertion(_, _, _, _, _))).
mexp(respond_to_increment(_, _, question_answer(_))).
mexp(respond_to_dialog_act(question_answer(_, _, _))).
mexp(respond_to_dialog_act(agree(_, _, _, _))).
mexp(respond_to_dialog_act(automa_command(_, _, _, _, _))).
mexp(_ is _._).
mexp(flash(_, _, iz(number), iz(number))).
mexp(begin(flash(_, _, _, _), emote(_), discourse_increment(_, _, _), emote(_))).
mexp(strategy(do_automatically_believe(_), begin(_, _, _, _))).
mexp(default_strategy(do_automatically_believe(_), _)).
mexp(add_pending_task(on_behalf_of(_, _))).
mexp(respond_to_dialog_act(offer(_, _, _, _))).
mexp(respond_to_dialog_act(acceptance(_, _, _, _))).
mexp(respond_to_dialog_act(rejection(_, _, _, _))).
mexp(describe(_, _, say_string(_))).
mexp(strategy(introduce_person(_), describe(_, _, _))).
mexp(strategy(preface_description(_), give_name(_))).
mexp(default_strategy(give_name(_), say_answer(_))).
mexp(strategy(give_name(_), _)).
mexp(respond_to_dialog_act(command(_, _, _))).
mexp(once(diagnose(_, _))).
mexp(request_status(_, _, unachievable(_))).
mexp(request_status(_, _, incriminating(_))).
mexp(if(iz(action), _, add_pending_task(_))).
mexp(if(dialog_task(_), _, if(_, _, _))).
mexp(strategy(follow_command(_, _, _), if(_, _, _))).
mexp(dialog_task(iz(action))).
mexp(strategy(follow_command(_, _, _), say_string(_))).
mexp(follow_command(_, _, unachievable(_))).
mexp(strategy(follow_command(_, _, _), explain_failure(_))).
mexp(follow_command(_, _, incriminating(_))).
mexp(diagnose(_, ~(_))).
mexp(default_strategy(explain_failure(_), say_string(_))).
mexp(strategy(explain_failure(_), speech(_))).
mexp(default_strategy(iz(action), describe(_, _, _))).
mexp(add_conversation_task(_, iz(action))).
mexp(strategy(iz(action), add_conversation_task(_, _))).
mexp(add_conversation_task(_, assertion(_, _, _, _, _))).
mexp(normalize_task(iz(action), goto(_))).
mexp(normalize_task(iz(action), pickup(_))).
mexp(strategy(iz(action), describe(_, _, _))).
mexp(strategy(iz(action), end_game(_))).
mexp(strategy(add_conversation_topic(_, _), tell(_))).
mexp(strategy(add_conversation_task(_, _), tell(_))).
mexp(normalize_task(describe(_), describe(_, _, _))).
mexp(begin(preface_description(_), describe_attributes(_, _, _))).
mexp(strategy(describe(_, _, _), begin(_, _))).
mexp(if(property_value(_, _, _), monolog(_), describe_type(_))).
mexp(default_strategy(preface_description(_), if(_, _, _))).
mexp(let(base_kind(_, _), say_answer(_))).
mexp(strategy(describe_type(_), let(_, _))).
mexp(generate_list(_, attribute_of(_))).
mexp(if(_, _, generate_list(_, _))).
mexp(strategy(describe_attributes(_, _, _), if(_, _, _))).
mexp(generate_next(_, attribute_of(_))).
mexp(describe_property(iz(string), _, _, _, iz(string))).
mexp(strategy(generate_next(_, _), describe_property(_, _, _, _, _))).
mexp(generate_last(_, attribute_of(_))).
mexp(strategy(generate_last(_, _), describe_property(_, _, _, _, _))).
mexp(describe_relation(iz(string), _, _, _, iz(string))).
mexp(strategy(generate_next(_, _), describe_relation(_, _, _, _, _))).
mexp(strategy(generate_last(_, _), describe_relation(_, _, _, _, _))).
mexp(surface_form(property_value(_, _, _), _)).
mexp(strategy(describe_property(_, _, _, _, _), speech(_))).
mexp(forall(ancestor_relation(_, _), tell(_))).
mexp(surface_form(iz(condition), _)).
mexp(strategy(describe_relation(_, _, _, _, _), speech(_))).
mexp(question_answer(property_value(_, _, _))).
mexp(question_answer(iz(condition))).
mexp(member(iz(uslash), _)).
mexp(remove_redundant_attributes(iz(list), _)).
mexp(remove_implicants(iz(uslash), iz(list), _)).
mexp(remove_implicants(_, iz(list), iz(list))).
mexp(admitted_truth_value(_, property_value(_, _, _), _)).
mexp(admitted_truth_value(_, iz(condition), _)).
mexp(interesting_relation(_, _, _, iz(uslash))).
mexp(reduce_assertion(_, iz(action), _)).
mexp(reduce_assertion(_, not(_), not(_))).
mexp(respond_to_assertion(_, iz(condition), _)).
mexp(standard_qud(_, iz(number))).
mexp(launch_conversation(_, _, greet(_, _))).
mexp(on_event(greet(_, _), _, _, launch_conversation(_, _, _))).
mexp(agent(player_input(_), _)).
mexp(arg(iz(number), _, _)).
mexp(once(player_input_response(_, _, _))).
mexp(on_event(player_input(_), _, _, _)).
mexp(player_input_task(_, iz(condition))).
mexp(player_input_response(_, _, player_input_task(_, _))).
mexp(player_input_task(_, say_string(_))).
mexp(automa_command(_, _, iz(condition), _, _)).
mexp(reject_player_dialog_act(automa_command(_, _, _, _, _), iz(string))).
mexp(reject_player_dialog_act(command(_, _, _), iz(string))).
mexp(misdirected_ask_or_tell_command(_, iz(action))).
mexp(modal_payload(iz(condition), _)).
mexp(modal_payload(iz(action), _)).
mexp(player_input_response(_, _, iz(uslash))).
mexp(da_normal_form(assertion(_, _, _, _, _), automa_command(_, _, _, _, _))).
mexp(assertion(_, _, iz(action), _, _)).
mexp(command(_, _, iz(condition))).
mexp(da_normal_form(command(_, _, _), automa_command(_, _, _, _, _))).
mexp(on_event(_, _, _, iz(uslash))).
mexp(on_event(arrived_at(_), _, _, begin(_, _))).
mexp(forall(patrol_destination(_), iz(uslash))).
mexp(forall(iz(uslash), begin(_, _))).
mexp(need(_, iz(number))).
mexp(say(iz(string))).
mexp(satisfies(_, _, iz(number), say(_), iz(number))).
mexp(satisfies(_, _, iz(number), greet(_, _), iz(number))).
mexp(min(_, _-_)).
mexp(_ is min(_, _)).
mexp(sumall(_, desirability_of_satisfying_need(_, _, _), _)).
mexp(max(iz(number), _*_)).
mexp(_ is max(_, _)).
mexp(min(iz(number), _+_)).
mexp(on_event(_, _, _, schedule_satisfaction(_, _, _, _))).
mexp(begin(ignore(_), increase_satisfaction(_, _), rebid_need_destinations(_))).
mexp(delay_for(_, begin(_, _, _))).
mexp(forall(satisfies(_, _, _, _, _), begin(_, _))).
mexp(generate_overlay(iz(string), satisfaction_level(_, _), line(_, _, _))).
mexp(generate_overlay(iz(string), desirability_of_going_to_object(_, _), line(_, _, _))).
mexp(append(_, iz(list), _)).
mexp(admissible_history(iz(list), _, iz(list))).
mexp(admissible_history(A, A, {_})).
mexp(start_task(_, _, iz(number), _, iz(list))).
mexp(conversation_handler_task(_, iz(condition))).
mexp(on_event(exit_conversational_space(_), _, _, stop_qud(_))).
mexp(on_event(departed(_), _, _, stop_qud(_))).
mexp(normalize_task(set_status(_), set_qud_status(_, _))).
mexp(current_priority(iz(number))).
mexp(begin(allocate_UID(_), iz(uslash), iz(uslash), iz(uslash), forall(_, _), goto_state(_, _))).
mexp(ignore(on_stop(_, _))).
mexp(begin(iz(uslash), ignore(_), stop_children(_), _)).
mexp(forall(iz(uslash), stop_qud(_))).
mexp(ignore(on_exit_state(_, _, _))).
mexp(ignore(iz(condition))).
mexp(begin(iz(uslash), ignore(_), iz(uslash), ignore(_))).
mexp(do(goto(_))).
mexp(score_action(greet(_, _), _, _, iz(number))).
mexp(on_event(greet(_, _), _, _, ignore(_))).
mexp(propose_action(greet(_, _), _, _)).
mexp(on_event(_, _, _, affective_reaction(_, _, _, _))).
mexp(affective_event(mention(_), iz(number), iz(number), iz(number), iz(number))).
mexp(utterance(question(_, _, _, _, _), _, _)).
mexp(utterance(question(_, _, _, _, _))).
mexp(utterance(assertion(_, _, _, _, _), _, _)).
mexp(utterance(assertion(_, _, _, _, _))).
mexp(utterance(question_answer(_, _, _, _, _), _, _)).
mexp(utterance(question_answer(_, _, _, _, _))).
mexp(assertion(_, _, not(_), _, _)).
mexp(utterance(command(_, _, _), _, _)).
mexp(utterance(command(_, _, _))).
mexp(utterance(injunction(_, _, _), _, _)).
mexp(utterance(injunction(_, _, _))).
mexp(utterance(agree(_, _, _, _), _, _)).
mexp(utterance(agree(_, _, _, _))).
mexp(utterance(automa_command(_, _, _, _, _), _, _)).
mexp(utterance(automa_command(_, _, _, _, _))).
mexp(utterance(offer(_, _, _, _), _, _)).
mexp(utterance(offer(_, _, _, _))).
mexp(utterance(inaction(_, _, _, _), _, _)).
mexp(utterance(inaction(_, _, _, _))).
mexp(utterance(acceptance(_, _, _, _), _, _)).
mexp(utterance(acceptance(_, _, _, _))).
mexp(stock_phrase(do_not_understand(_, _, _), _, _)).
mexp(stock_phrase(do_not_understand(_, _, _))).
mexp(stock_phrase(prompt_player(_, _), _, _)).
mexp(stock_phrase(prompt_player(_, _))).
mexp(stock_phrase(greet(_, _), _, _)).
mexp(stock_phrase(greet(_, _))).
mexp(stock_phrase(apology(_, _), _, _)).
mexp(stock_phrase(apology(_, _))).
mexp(stock_phrase(excuse_self(_, _), _, _)).
mexp(stock_phrase(excuse_self(_, _))).
mexp(stock_phrase(parting(_, _), _, _)).
mexp(stock_phrase(parting(_, _))).
mexp(stock_phrase(command(_, _, _), _, _)).
mexp(stock_phrase(command(_, _, _))).
mexp(stock_phrase(general_help(player, $me), _, _)).
mexp(stock_phrase(general_help(player, $me))).
mexp(stock_phrase(how_do_i(_, _, _), _, _)).
mexp(stock_phrase(how_do_i(_, _, _))).
mexp(stock_phrase(objective_query(player, $me), _, _)).
mexp(stock_phrase(objective_query(player, $me))).
mexp(stock_phrase(color_query(_, _, _), _, _)).
mexp(stock_phrase(color_query(_, _, _))).
mexp(forall(nsew(_), register_lexical_item(_))).
mexp(stock_phrase(if_navigation_command(_, _, _), _, _)).
mexp(stock_phrase(if_navigation_command(_, _, _))).
mexp(stock_phrase(show_status(_, _, _), _, _)).
mexp(stock_phrase(show_status(_, _, _))).
mexp(utterance(discourse_increment(_, _, _), _, _)).
mexp(utterance(discourse_increment(_, _, _))).
mexp(discourse_fragments(iz(list), _, _)).
mexp(discourse_fragments(iz(list))).
mexp(discourse_fragment(question_answer(_), _, _)).
mexp(discourse_fragment(question_answer(_))).
mexp(discourse_fragment(s(_), _, _)).
mexp(discourse_fragment(s(_))).
mexp(discourse_fragment(uninterpreted_s(_), _, _)).
mexp(discourse_fragment(uninterpreted_s(_))).
mexp(discourse_fragment(np(_), _, _)).
mexp(discourse_fragment(np(_))).
mexp(precondition(_, iz(uslash))).
mexp(on_event(_, _, _, iz(condition))).
mexp(precondition(question(_, _, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(question(_, _, _, _, _), _)).
mexp(precondition(assertion(_, _, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(assertion(_, _, _, _, _), _)).
mexp(precondition(question_answer(_, _, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(question_answer(_, _, _, _, _), _)).
mexp(precondition(command(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(command(_, _, _), _)).
mexp(precondition(injunction(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(injunction(_, _, _), _)).
mexp(precondition(agree(_, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(agree(_, _, _, _), _)).
mexp(precondition(automa_command(_, _, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(automa_command(_, _, _, _, _), _)).
mexp(precondition(offer(_, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(offer(_, _, _, _), _)).
mexp(precondition(inaction(_, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(inaction(_, _, _, _), _)).
mexp(precondition(acceptance(_, _, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(acceptance(_, _, _, _), _)).
mexp(precondition(discourse_increment(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(discourse_increment(_, _, _), _)).
mexp(precondition(do_not_understand(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(do_not_understand(_, _, _), _)).
mexp(precondition(prompt_player(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(prompt_player(_, _), _)).
mexp(precondition(greet(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(greet(_, _), _)).
mexp(precondition(apology(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(apology(_, _), _)).
mexp(precondition(excuse_self(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(excuse_self(_, _), _)).
mexp(precondition(parting(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(parting(_, _), _)).
mexp(precondition(general_help(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(general_help(_, _), _)).
mexp(precondition(how_do_i(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(how_do_i(_, _, _), _)).
mexp(precondition(objective_query(_, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(objective_query(_, _), _)).
mexp(precondition(color_query(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(color_query(_, _, _), _)).
mexp(precondition(if_navigation_command(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(if_navigation_command(_, _, _), _)).
mexp(precondition(show_status(_, _, _), uslash(top, /(perception/nobody_speaking)))).
mexp(normalize_dialog_act(show_status(_, _, _), _)).
mexp(register_all_lexical_items(iz(list), demonstrative_pronoun(_))).
mexp(register_all_lexical_items(iz(list), here_there_adverb(_))).
mexp(register_all_lexical_items(iz(list), whpron(_, _))).
mexp(register_all_lexical_items(iz(list), pronoun_word(_, _, _, _, _))).
mexp(module(_, iz(list))).
mexp(default_value(_, _, iz(string))).
mexp(kinds(_, _, iz(string), iz(list), iz(list), _, _, _, _)).
mexp(kinds(_, iz(list), _, iz(list), iz(list), _, _, _, _)).
mexp(kinds(_, iz(list), _, iz(list), _, _, _, _, _)).
mexp(kinds(_, iz(list), _, _, _, _, _, _, _)).
mexp(declare_value(_, _, iz(list))).
mexp(entities(_, iz(list), _, iz(list), _, _, _)).
mexp(declare_value(_, _, iz(number))).
mexp(entities(_, iz(list), _, _, _, iz(list), iz(list))).
mexp(declare_value(_, _, iz(string))).
mexp(declare_related(_, _, iz(string))).
mexp(entities(_, iz(list), _, _, _, _, _)).
mexp(adjective(iz(condition))).
mexp(adjective(iz(list), iz(condition))).
mexp(property_type(_, _, subkind_of(_))).
mexp(properties(_, _, iz(list), _, subkind_of(_))).
mexp(properties(_, _, iz(list), _, _)).
mexp(property_type(_, _, iz(list))).
mexp(relations(_, _, _, _, iz(list), iz(list), iz(list), iz(list), _, _)).
mexp(relations(_, _, _, _, iz(list), iz(list), iz(list), _, _, _)).
mexp(relations(_, _, _, _, _, _, _, iz(list), _, _)).
mexp(relations(_, _, _, _, _, iz(list), iz(list), _, _, _)).
mexp(parser_tests(_, iz(string))).
mexp(tv(_, _, iz(action), _, _)).
mexp(transitive_verb(iz(list), iz(list), iz(list), iz(list), iz(list), _, iz(action))).
mexp(transitive_verb(iz(list), iz(list), iz(list), iz(list), iz(list), _, iz(condition))).
mexp(dtv(_, _, iz(action), _, _)).
mexp(ditransitive_verb(iz(list), iz(list), iz(list), iz(list), iz(list), _, iz(action))).
mexp(iv(_, _, iz(action), _, _)).
mexp(intransitive_verb(iz(list), iz(list), iz(list), iz(list), iz(list), _, iz(action))).
mexp(iv(_, _, iz(condition), _, iz(list))).
mexp(intransitive_verb(iz(list), iz(list), iz(list), iz(list), iz(list), iz(list), iz(condition))).
mexp(prepositional_slot(_, _, iz(action))).
mexp(prepositional_slot(_, _, iz(condition))).
mexp(pretend_truth_value(_, iz(condition), _)).
mexp(personal_strategy(achieve(_), ingest(_))).
mexp(personally_affective_event(enter_social_space(_), iz(number), iz(number), iz(number), iz(number))).
mexp(personally_affective_event(exit_social_space(_), iz(number), iz(number), iz(number), iz(number))).
mexp(unless(declare_value(_, _, _), declare_value(_, _, _))).
mexp(unless(proper_name(_, _, _, _), assert_proper_name(_, _, _))).
mexp(plot_goal(iz(condition))).
mexp(plot_goal_flavor_text(iz(condition), iz(string))).
mexp(objective_description(_, iz(string))).
mexp(after(pickup(_), describe(_))).
mexp(random_member(_, iz(list))).
mexp(once(docked_with(_))).
mexp(personal_todo(_, iz(number))).
mexp(begin(_, say_string(_))).
mexp(beat_start_task(_, _, goto(_))).
mexp(beat_dialog(_, _, _, iz(list))).
mexp(beat_monolog(_, _, iz(list))).
mexp(beat_delay(_, iz(number))).
mexp(beat_leads_to_event(_, _, pickup(_))).
mexp(beat_leads_to_event(_, _, iz(action))).
mexp(beat_leads_to_event(_, _, ingest(_))).
mexp(beat_menu_automa_command(_, _, iz(condition))).
mexp(beat_menu_question(_, _, iz(condition))).
mexp(beat_menu_command(_, _, iz(action))).
mexp(beat_priority(_, iz(number))).
mexp(beat_is_character_reaction(_, _, pickup(_))).
mexp(plot_event(pickup(_))).
mexp(beat_is_character_reaction(_, _, iz(action))).
mexp(plot_event(iz(action))).
mexp(beat_is_character_reaction(_, _, ingest(_))).
mexp(plot_event(ingest(_))).
mexp(beat_is_character_reaction(_, _, arrived_at(_))).
mexp(plot_event(arrived_at(_))).