2In the source code, generated from this book, we are now defining both classes twice, as we have two defclass statements for each. This will actually work okay, although it is not best practice as it is somewhat dependent on the implementation details of the OWL API.