premise: Specification of lens power, base curve, thickness, and edge thickness of firm lenses.
hypothesis: A concave lens is thicker at the edges than it is in the middle.
hypothesis_graph_structure: A concave lens<>is<>thicker at the edges$$$it<>is<>in the middle