| Nodes for Constraint Solving: domain model: onto2.dia | ||
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |
| Node | details | No expansion |