Modifies the specification to add the concept of __*extracted information*__ to conclusions.