Symbol: generate_type_A_query