Made UC4/1 more formal by using elementary use case "reads".

TODO: rename "reads" to "lists" after requs bug is fixed (currently not recognized by requs as elementary use case)