A rule for comparing input data with a logical structure, decomposing data into constituent parts, or extracting information from data.