(for every vertex i)(for every facility category q) is_facility_of_category_q_open_at_vertex_i
(for every vertex i)(for every commodity k) amount_of_commodity_k_prepositioned_at_vertex_i
(for every scenario s)(for every vertex i)(for every vertex j) is_vertex_i_meeting_full_demand_of_vertex_j_in_scenario_s