what is the state of laguna seca formation which is also the state of john s . mcgroarty ?
SELECT DISTINCT var_uri where brack_open dbr_John_S._McGroarty dbp_state var_uri sep_dot dbr_Laguna_Seca_Formation dbp_region var_uri brack_close