factored information about the specific operator- candidate out into two predicates, a pre- and post-filter, as part of gereralizing the instantiation mechanism
factored information about the specific operator- candidate out into
two predicates, a pre- and post-filter, as part of gereralizing the
instantiation mechanism


angavrilov/olmar,angavrilov/olmar,angavrilov/olmar,angavrilov/olmar