what rock contains a subtype of coquina?
(AND geology.rock_type (JOIN geology.rock_type.sub_types m.02lv_7))