
## 6.1. Extensionalization

In order to make the system tractable at run time, we implemented an offline technique to speed up the program. We modified SWORIER to extensionalize all of the facts that can be derived from the input (that a user might want to query on), converting the program from an intensional form to an extensional form. Figure 5 shows the modified system design.

![0_image_0.png](0_image_0.png)

