. . . . . . . . . . . . . . . . . . . . . . . . "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" . . "20131211" . "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:31:57.953+02:00"^^ . . .