1. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals
2. Student Loan Relational: Student Loan Relational Domain
3. Japanese Credit Screening: Includes domain theory (generated by talking to Japanese domain experts); data in Lisp
4. USPTO Algorithm Challenge, run by NASA-Harvard Tournament Lab and TopCoder Problem: Pat: Data used for USPTO Algorithm Competition. Contains drawing pages from US patents with manually labeled figure and part labels.