let compare_prop_id p1 p2 = 
  String.compare (prop_txt p1) (prop_txt p2)