Hint: This example is expressed in the convenient compact notation of Description Logic. In this course we present OWL expressed textually in Turtle and visually in Protege, and so we do not require recognition of this logical notation, but for those students with knowledge of formal logic, and perhaps a little chemistry too, this example should show itself to be beautifully compact and descriptive. There are semantic web tools that can take such formal expressions and render them in (slightly awkward, but structured) English language.