Text this: Research on the potential of gas resource development in abandoned mines using matter element extension theory