Evaluation of the Domain Prop