Manchester Syntax for Two Sublists (Expanded)

List_starts_ABC AND hasNext SOME List_starts_DEF -> List AND
	hasContents SOME A AND
	hasNext SOME (List AND
		hasContents SOME B AND
		hasNext SOME (List AND
			hasContents SOME C))
	AND hasNext SOME List AND
		hasContents SOME D AND
        	hasNext SOME (List AND
                	hasContents SOME E AND
                	hasNext SOME (List AND
                        	hasContents SOME F))

See the two hasNext relations for one OWLList instance, highlighted in bold, making the hasNext property for that instance non-functional.