Explaining Practical Investment Properties Programs