Geometric Reasoning Based on Graph Grammar Parsing