list1
first: Alice
rest: nil
extra property: extra

list2
first: Alice
rest: Bob

list5
first: Charlie
rest: Donna

list6
first: Charlie

list7
first: Charlie
rest: Malformed SHACL List

list10
first: Bob
rest: list9

Test of sh:memberShape on node shape 001
type: Validate
result: ValidationReport
  conforms: false
  result: ValidationResult
    focus node: list2
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list2
    detail: ValidationResult
      focus node: Bob
      result severity: Violation
      source constraint component: NodeKindConstraintComponent
      source shape: IRIShape
      value: Bob
  result: ValidationResult
    focus node: list3
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list3
  result: ValidationResult
    focus node: list4
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list4
  result: ValidationResult
    focus node: list5
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list5
    detail: ValidationResult
      focus node: Charlie
      result severity: Violation
      source constraint component: NodeKindConstraintComponent
      source shape: IRIShape
      value: Charlie
    detail: ValidationResult
      focus node: Donna
      result severity: Violation
      source constraint component: NodeKindConstraintComponent
      source shape: IRIShape
      value: Donna
  result: ValidationResult
    focus node: list6
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list6
  result: ValidationResult
    focus node: list7
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list7
  result: ValidationResult
    focus node: list9
    result severity: Violation
    source constraint component: MemberShapeConstraintComponent
    source shape: IRIListShape
    value: list9
status: approved