Symbol: prop_def_uval