Symbol: mdeg_prop_spec_t