Logical Structure Discovery