414 |
* ext_ftable, and we apply all of them in turn. |
* ext_ftable, and we apply all of them in turn. |

415 |
* For each rule, this means that we must find an |
* For each rule, this means that we must find an |

416 |
* instance that applies, which means that we have |
* instance that applies, which means that we have |

417 |
* to find all hyps that apply. We do an an exhaustive |
* to find all hyps that apply. We do an exhaustive |

418 |
* search through all the inferences we have made in |
* search through all the inferences we have made in |

419 |
* the current world. If we find a potential instance, |
* the current world. If we find a potential instance, |

420 |
* we apply the forward rule. If it fails, drop it. |
* we apply the forward rule. If it fails, drop it. |