. . . . . . . . . . . . . . . . . . . . . . . . "cat(p(RGD:F2)) => cat(p(RGD:Proc))" . "p(RGD:Thbd) => (cat(p(RGD:F2)) => cat(p(RGD:Proc)))" . "Approximately 61,000 statements." . "Copyright (c) 2011-2012, Selventa. All rights reserved." . "BEL Framework Large Corpus Document" . . "1.4" . "to initiate the dynamic protein C system, the product enzyme thrombin binds to constitutively present vascular thrombomodulin, Tm, and activates the protein C, PC, to its activated species APC" . . "Selventa" . . . . "2014-07-03T14:30:09.258+02:00"^^ . . .