update existing use cases to reflect discussion at today's sem-prov
meeting.