id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
206	Formal grammar for assertion and joint invariant language	zirkel	bperry	We need to write this down.	task	closed	major	Release 1.0	XML	1.0	wontfix