Pictorial deduction in spatial information systems · Study