| type | Concrete Class | 
| Name | Goal State | 
| Description | The desired state(s) given by the user - this may not exist and will be find by the reasoner. goal_state(List): where list is the solution to the problem. There may be many valid goal states. | 
| Immediate Parent | |
| Object Attributes | |
| Source Provider | |
| Authority | |
| Example | |
| Inclusion | |
| Exclusion | |
| Rules | |
| Cross Reference | |
| Modeller | |
| Date | |
| Status | |
| Comment | |
| Derived From | |