2 * Installed Software (Client application) must be ontology compatible with the database it uses (Remote).
7 US1: Conflicting Features
23 US2: Conflicting Features
44 Validator: Spec -> Errors
46 Solver: 1 Error -> Action[]
47 1 ACtion -> (fixed) Spec
49 Planner: Figures out all possible solution scenarios. Returns a list of valid scenarios sorted by feasibility.