(Invalid(((((error_line_number 5)(error_line_before("<p style=\"hello\">Lorem ipsum dolor sit amet.</p>"))(error_line_actual"<p extra=\"dummy\" style=\"hello\">Lorem ipsum dolor sit amet.</p>")(error_line_after("<p extra=\"dummy\">Lorem ipsum dolor sit amet.</p>"))))(p)(Reading_error"Attribute '#extra#' does not belong to this element"))((((error_line_number 6)(error_line_before("<p extra=\"dummy\" style=\"hello\">Lorem ipsum dolor sit amet.</p>"))(error_line_actual"<p extra=\"dummy\">Lorem ipsum dolor sit amet.</p>")(error_line_after(""))))(p)(Reading_error"Attribute '#extra#' does not belong to this element"))((((error_line_number 8)(error_line_before(""))(error_line_actual"<picture extra=\"dummy\" src=\"source.png\" alt=\"This is a picture\"/>")(error_line_after("<picture style=\"hello\" src=\"source.png\" alt=\"This is a picture\"/>"))))(picture)(Reading_error"Attribute '#extra#' does not belong to this element"))((((error_line_number 11)(error_line_before("<picture src=\"source.png\" alt=\"This is a picture\"/>"))(error_line_actual"<picture src=\"source.png\"/>")(error_line_after("<picture alt=\"This is a picture\"/>"))))(picture)(Reading_error"Mandatory attribute '#alt#' has not been provided"))((((error_line_number 12)(error_line_before("<picture src=\"source.png\"/>"))(error_line_actual"<picture alt=\"This is a picture\"/>")(error_line_after(<picture/>))))(picture)(Reading_error"Mandatory attribute '#src#' has not been provided"))((((error_line_number 13)(error_line_before("<picture alt=\"This is a picture\"/>"))(error_line_actual <picture/>)(error_line_after(""))))(picture)(Reading_error"Mandatory attribute '#src#' has not been provided"))((((error_line_number 13)(error_line_before("<picture alt=\"This is a picture\"/>"))(error_line_actual <picture/>)(error_line_after(""))))(picture)(Reading_error"Mandatory attribute '#alt#' has not been provided"))))
