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