Context                Previous, Next                Top


14_a_factbook_1_2010
vaccine available.

n14_a_factbook_1_2010 n14_a_factbook_1_2010__1_1_1_1 vaccine n14_a_factbook_1_2010__1_2_1_1 available n14_a_factbook_1_2010__1_3_1 . n14_a_factbook_1_2010__1 FRAG n14_a_factbook_1_2010__1_1 NP-SBJ n14_a_factbook_1_2010__1->n14_a_factbook_1_2010__1_1 n14_a_factbook_1_2010__1_2 ADJP-PRD n14_a_factbook_1_2010__1->n14_a_factbook_1_2010__1_2 n14_a_factbook_1_2010__1_3 PUNC n14_a_factbook_1_2010__1->n14_a_factbook_1_2010__1_3 n14_a_factbook_1_2010__1_1_1 N n14_a_factbook_1_2010__1_1->n14_a_factbook_1_2010__1_1_1 n14_a_factbook_1_2010__1_1_1->n14_a_factbook_1_2010__1_1_1_1 n14_a_factbook_1_2010__1_2_1 ADJ n14_a_factbook_1_2010__1_2->n14_a_factbook_1_2010__1_2_1 n14_a_factbook_1_2010__1_2_1->n14_a_factbook_1_2010__1_2_1_1 n14_a_factbook_1_2010__1_3->n14_a_factbook_1_2010__1_3_1 
( (FRAG (NP-SBJ (N vaccine;{vaccine}))
        (ADJP-PRD (ADJ available;{available}))
        (PUNC .))
  (ID 14_a_factbook_1_2010))


%3 z_0014_5003 r_0014_0002__available available z_0014_5003->r_0014_0002__available [prd] r_0014_0001__vaccine vaccine z_0014_5003->r_0014_0001__vaccine [arg0] 
arc(z_0014_5003,r_0014_0001__vaccine,arg0).
arc(z_0014_5003,r_0014_0002__available,prd).


%3 z_0014_5003 r_0014_0001__vaccine vaccine z_0014_5003->r_0014_0001__vaccine [arg0] r_0014_0002__available available z_0014_5003->r_0014_0002__available [prd] 
fof(formula,axiom,
    ? [R_0014_0001__VACCINE,R_0014_0002__AVAILABLE,Z_0014_5003] :
      ( r_0014_0001__vaccine(R_0014_0001__VACCINE)
      & r_0014_0002__available(R_0014_0002__AVAILABLE)
      & z_0014_5003(Z_0014_5003)
      & has_prd(Z_0014_5003,R_0014_0002__AVAILABLE)
      & has_arg0(Z_0014_5003,R_0014_0001__VACCINE) ) ).