an>use_module(<span class="o">+</span>module_identifier, <span class="o">+</span>predicate_indicator_list)
use_module(<span class="o">+</span>module_identifier, <span class="o">+</span>module_predicate_indicator_alias_list)

use_module(<span class="o">+</span>module_identifier, <span class="o">+</span>predicate_template_alias_list)

use_module(<span class="o">+</span>module_identifier, <span class="o">+</span>non_terminal_indicator_list)
use_module(<span class="o">+</span>module_identifier, <span class="o">