Now have a go at extending the classifier. Start by translating the following sentences into Prolog. If you need to talk about concepts, such as flying ability, that the example already uses, then use the same names. Otherwise, make up sensible names of your own, and ensure they're consistent throughout. Note: when translating some sentences, you may require more than one rule.
To illustrate something important about logic, I have chosen two sentences that, strictly speaking, are of no help as they stand. Which are they, and why?
Notice incidentally the different ways English has of expressing how the properties of an object imply its classification.