let reprs =
        List.map
          (fun x -> { p_kind = PKProp; p_prop = x; p_part = None })
          Property.reprs