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_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] 
fof(formula,axiom,
    ? [R_5_1_IS,R_5_4_TO_DRINK,Z_5_A_TAKMI_12,R_5_2_IT,R_5_3_SAFE] :
      ( it(R_5_2_IT)
      & safe(R_5_3_SAFE)
      & is(R_5_1_IS,R_5_4_TO_DRINK,R_5_3_SAFE)
      & to_drink(R_5_4_TO_DRINK,Z_5_A_TAKMI_12,R_5_2_IT) ) ).


n5_a_takmi n5_a_takmi_4 Is n5_a_takmi_7 it n5_a_takmi_10 safe n5_a_takmi_13 * n5_a_takmi_15 to n5_a_takmi_17 drink n5_a_takmi_19 ? n5_a_takmi_1 CP-QUE-MAT n5_a_takmi_2 IP-SUB n5_a_takmi_1->n5_a_takmi_2 n5_a_takmi_18 PUNC n5_a_takmi_1->n5_a_takmi_18 n5_a_takmi_3 BEP;_La_ n5_a_takmi_2->n5_a_takmi_3 n5_a_takmi_5 NP-SBJ n5_a_takmi_2->n5_a_takmi_5 n5_a_takmi_8 ADJP-PRD n5_a_takmi_2->n5_a_takmi_8 n5_a_takmi_11 IP-INF-NSBJ n5_a_takmi_2->n5_a_takmi_11 n5_a_takmi_3->n5_a_takmi_4 n5_a_takmi_6 PRO n5_a_takmi_5->n5_a_takmi_6 n5_a_takmi_6->n5_a_takmi_7 n5_a_takmi_9 ADJ n5_a_takmi_8->n5_a_takmi_9 n5_a_takmi_9->n5_a_takmi_10 n5_a_takmi_12 NP-LGS n5_a_takmi_11->n5_a_takmi_12 n5_a_takmi_14 TO n5_a_takmi_11->n5_a_takmi_14 n5_a_takmi_16 VB;_Tn_ n5_a_takmi_11->n5_a_takmi_16 n5_a_takmi_12->n5_a_takmi_13 n5_a_takmi_14->n5_a_takmi_15 n5_a_takmi_16->n5_a_takmi_17 n5_a_takmi_18->n5_a_takmi_19 
( (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))