Formal and empirical research on cascaded inference in jurisprudence.