if a sub-type includes phonolite, what rock type is a sub-type of it?
(AND geology.rock_type (JOIN (R geology.rock_type.sub_types) (JOIN (R geology.rock_type.sub_types) m.01pxxc)))