This article describes the Vaccine/Injury Project Corpus, a collection of legal decisions awarding or denying compensation for health injuries allegedly due to vaccinations, together with models of the logical structure of the reasoning of the factfinders in those cases. This unique corpus provides useful data for formal and informal logic theory, for natural-language research in linguistics, and for artificial intelligence research. More importantly, the article discusses lessons learned from developing protocols for manually extracting the logical structure and generating the logic models. It identifies sub-tasks in the extraction process, discusses challenges to automation, and provides insights into possible solutions for automation. In particular, the framework and strategies developed here, together with the corpus data, should allow ''top-down'' and contextual approaches to automation, which can supplement ''bottom-up'' linguistic approaches. Illustrations throughout the article use examples drawn from the Corpus.

The Hague Convention on the Civil Aspects of International Child Abduction confronts the growing problem of international parental child abduction by providing for the prompt return of the child to their home country. However, the legislation that implements the Hague Convention in the United States confers concurrent state and federal court jurisdiction for cases brought under the Treaty. This vast jurisdictional grant has contributed to delay in case resolution, inconsistent interpretation, and unresolved cases and has frustrated the original intent of the Hague Convention which seeks to expedite the child's return. At their core, Hague Convention proceedings are choice of forum cases in an international context and the Convention depends on reciprocity and respect for the rule of law among Contracting States. Consolidating Hague Convention proceedings within the federal system would encourage uniform interpretation of Treaty provisions and allow expertise to develop among judges. This will promote the interests of parent and child victims by facilitating the prompt return and eventual resolution of the underlying custody controversy while strengthening the effectiveness of performance under the Hague Convention.