There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
Import factual models for modular decomposition
A factual model currently is all in one file. The facts in the model can only refer to other facts in the same model. Implement the import keyword to reference facts from other models, optionally assigning them aliases. Ideally, the other models would
be referenced assemblies, not factual source files.