class
	SENTENCE

inherit
	LINKED_LIST [CLAUSE]
		rename
			extend as extend_list
				-- Workaround for a bug in 6.3, fixed in 6.4 (inherited precondition not reached)
		export
			{NONE} item
		end

create
	make

feature -- Element change

	extend (a_clause: like clause)
			--
		require
			first_sentence_starts_with_capital_letter:
				is_empty implies a_clause.first_is_upper
		do
			extend_list (a_clause)
		end

feature -- Access

	clause: CLAUSE
			--
		do
			if {c: CLAUSE} item then
				Result := c
			else
				create Result.make
			end
		end

feature -- Basic operations

	print_to_medium (io_medium: IO_MEDIUM)
			--
		do
			from start until after loop
				if not isfirst then
					io_medium.put_string (", ")
				end
				clause.print_to_medium (io_medium)
				forth
			end
			io_medium.put_string (".")
			io_medium.put_new_line
		end

end -- class SENTENCE