Reasoner patch for Properties