Property Elicitation on Imprecise Probabilities