Example of application of inductive logic to attribute causality to cell death after brain ischemia. In the “” notation, A is the depletion of ATP accompanying ischemia. The cell death marker C is the protein CHOP (C/EBP homology protein, where C/EBP stands for caat-enhancer-binding protein. CHOP is also called GADD153). The B linker is a set of binding interactions that constitute part of the unfolded protein response, an ER stress response.