Context                Previous, Next                Top


5_a_takmi
Is it safe to drink?

%3 r_0005_0001__Is Is r_0005_0003__safe safe r_0005_0001__Is->r_0005_0003__safe [prd] r_0005_0004__to_r_0005_0005__drink to drink r_0005_0001__Is->r_0005_0004__to_r_0005_0005__drink [arg0] r_0005_0002__it it r_0005_0004__to_r_0005_0005__drink->r_0005_0002__it [arg1] z_000_5_a_takmi_12 r_0005_0004__to_r_0005_0005__drink->z_000_5_a_takmi_12 [arg0] 
arc(r_0005_0001__Is, r_0005_0003__safe, prd).
arc(r_0005_0001__Is, r_0005_0004__to_r_0005_0005__drink, arg0).
arc(r_0005_0004__to_r_0005_0005__drink, r_0005_0002__it, arg1).
arc(r_0005_0004__to_r_0005_0005__drink, z_000_5_a_takmi_12, arg0).


%3 r_0005_0004__to_r_0005_0005__drink to drink z_000_5_a_takmi_12 r_0005_0004__to_r_0005_0005__drink->z_000_5_a_takmi_12 [arg0] r_0005_0002__it it r_0005_0004__to_r_0005_0005__drink->r_0005_0002__it [arg1] r_0005_0001__Is Is r_0005_0001__Is->r_0005_0004__to_r_0005_0005__drink [arg0] r_0005_0003__safe safe r_0005_0001__Is->r_0005_0003__safe [prd] 
fof(formula,axiom,
    ? [R_0005_0003__SAFE,R_0005_0002__IT,Z_000_5_A_TAKMI_12,R_0005_0004__TO_R_0005_0005__DRINK,R_0005_0001__IS] :
      ( r_0005_0002__it(R_0005_0002__IT)
      & r_0005_0003__safe(R_0005_0003__SAFE)
      & z_000_5_a_takmi_12(Z_000_5_A_TAKMI_12)
      & r_0005_0001__Is(R_0005_0001__IS)
      & has_arg0(R_0005_0001__IS,R_0005_0004__TO_R_0005_0005__DRINK)
      & r_0005_0004__to_r_0005_0005__drink(R_0005_0004__TO_R_0005_0005__DRINK)
      & has_arg0(R_0005_0004__TO_R_0005_0005__DRINK,Z_000_5_A_TAKMI_12)
      & has_arg1(R_0005_0004__TO_R_0005_0005__DRINK,R_0005_0002__IT)
      & has_prd(R_0005_0001__IS,R_0005_0003__SAFE) ) ).


n5_a_takmi n5_a_takmi__1_1_1_1 Is n5_a_takmi__1_1_2_1_1 it n5_a_takmi__1_1_3_1_1 safe n5_a_takmi__1_1_4_1_1 * n5_a_takmi__1_1_4_2_1 to n5_a_takmi__1_1_4_3_1 drink n5_a_takmi__1_2_1 ? n5_a_takmi__1 CP-QUE-MAT n5_a_takmi__1_1 IP-SUB n5_a_takmi__1->n5_a_takmi__1_1 n5_a_takmi__1_2 PUNC n5_a_takmi__1->n5_a_takmi__1_2 n5_a_takmi__1_1_1 BEP;_La_ n5_a_takmi__1_1->n5_a_takmi__1_1_1 n5_a_takmi__1_1_2 NP-SBJ n5_a_takmi__1_1->n5_a_takmi__1_1_2 n5_a_takmi__1_1_3 ADJP-PRD n5_a_takmi__1_1->n5_a_takmi__1_1_3 n5_a_takmi__1_1_4 IP-INF-NSBJ n5_a_takmi__1_1->n5_a_takmi__1_1_4 n5_a_takmi__1_1_1->n5_a_takmi__1_1_1_1 n5_a_takmi__1_1_2_1 PRO n5_a_takmi__1_1_2->n5_a_takmi__1_1_2_1 n5_a_takmi__1_1_2_1->n5_a_takmi__1_1_2_1_1 n5_a_takmi__1_1_3_1 ADJ n5_a_takmi__1_1_3->n5_a_takmi__1_1_3_1 n5_a_takmi__1_1_3_1->n5_a_takmi__1_1_3_1_1 n5_a_takmi__1_1_4_1 NP-LGS n5_a_takmi__1_1_4->n5_a_takmi__1_1_4_1 n5_a_takmi__1_1_4_2 TO n5_a_takmi__1_1_4->n5_a_takmi__1_1_4_2 n5_a_takmi__1_1_4_3 VB;_Tn_ n5_a_takmi__1_1_4->n5_a_takmi__1_1_4_3 n5_a_takmi__1_1_4_1->n5_a_takmi__1_1_4_1_1 n5_a_takmi__1_1_4_2->n5_a_takmi__1_1_4_2_1 n5_a_takmi__1_1_4_3->n5_a_takmi__1_1_4_3_1 n5_a_takmi__1_2->n5_a_takmi__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{PRODUCT} (PRO it;{it}))
                      (ADJP-PRD (ADJ safe;{safe}))
                      (IP-INF-NSBJ (NP-LGS *)
                                   (TO to;{to})
                                   (VB;_Tn_ drink;{drink})))
              (PUNC ?))
  (ID 5_a_takmi))