TF-induced PE and HMW-polyP–induced PE models. (A) Survival curve after TF infusion (n = 17/group). (B) Survival curve after HMW-polyP infusion (n = 16/group). (C) Scale to measure lung perfusion defect scores. Score of 0 indicates complete perfusion of Evans blue with no vascular occlusion, and score of 4 indicates no Evans blue perfusion with complete vascular occlusion. (D) Lung perfusion defect scores after TF infusion. (E) Lung perfusion defect scores after HMW-polyP infusion. Symbols represent data from a single mouse. Bars represent the mean values of groups. *P < .05 in comparison with Pros1^+/+ mice. **P < .005 in comparison with Pros1^+/+ mice. ^#P < .001 in comparison with Pros1^+/+ mice, and P < .05 in comparison with Pros1^+/E and Pros1^E/E mice.