Context                Previous, Next                Top


14_a_factbook_1_2010
vaccine available.

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


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


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))