...
...
In the knowledge browser, select the class Top Goals/Undefined. In the right hand side, New Parameter/Function (or Ctrl+I). Name the Object Ships and select the type: Object.
Unlike the Waterline object, which was defined by a function, the object Ships does not yet meet the validity conditions.
...