Geometric Properties and Reasoning