Almost summarizes all types of graphical reasoning