Browsing: Simplifying property analysis