let select_by_name asked pid =
  let p_prop = match pid.p_kind with
    | PKPre (_,_,p_prop) -> p_prop
    | _ -> property_of_id pid
  in
  let names = user_prop_names p_prop in
  let take_it, msg = 
    if List.mem asked names
    then true" (asked named prop)"
    else false, (match names with [] -> " (no names)"
                   | name::_ -> (" (asked name <> "^ name^")"))
  in take_it, msg