let property_of_id p = p.p_prop