// list of examples, represented as a JSON list

[
//{ "file":"BRCA.pl",		"title":"BRCA" },
//{ "file":"DBPedia.pl",		"title":"DBPedia" },
//{ "file":"biopaxLevel3.pl",	"title":"Biopax" },
//{ "file":"commander.pl",	"title":"Commander" },
//{ "file":"johnEmployee.pl",	"title":"Employee John" },
//{ "file":"peoplePets.pl",	"title":"people+pets" },
//{ "file":"vicodi.pl",		"title":"Vicodi" },
]