Context                Previous, Next                Top


25_a_fce_0102_2001_03
No sailing experience is needed.

%3 r_0025_0001__No_quant No [quant] r_0025_0002__sailing_r_0025_0003__experience sailing experience r_0025_0001__No_quant->r_0025_0002__sailing_r_0025_0003__experience [restriction] r_0025_0004__is is r_0025_0001__No_quant->r_0025_0004__is [scope] r_0025_0005__needed needed r_0025_0004__is->r_0025_0005__needed [scope] r_0025_0005__needed->r_0025_0002__sailing_r_0025_0003__experience [arg1] z_000_25_a_fce_0102_2001_03_12 r_0025_0005__needed->z_000_25_a_fce_0102_2001_03_12 [arg0] 
arc(r_0025_0001__No_quant, r_0025_0002__sailing_r_0025_0003__experience, restriction).
arc(r_0025_0001__No_quant, r_0025_0004__is, scope).
arc(r_0025_0004__is, r_0025_0005__needed, scope).
arc(r_0025_0005__needed, r_0025_0002__sailing_r_0025_0003__experience, arg1).
arc(r_0025_0005__needed, z_000_25_a_fce_0102_2001_03_12, arg0).


%3 r_0025_0001__No_quant No [quant] r_0025_0002__sailing_r_0025_0003__experience sailing experience r_0025_0001__No_quant->r_0025_0002__sailing_r_0025_0003__experience [restriction] r_0025_0004__is_r_0025_0005__needed is needed r_0025_0001__No_quant->r_0025_0004__is_r_0025_0005__needed [scope] r_0025_0004__is_r_0025_0005__needed->r_0025_0002__sailing_r_0025_0003__experience [arg1] z_000_25_a_fce_0102_2001_03_12 r_0025_0004__is_r_0025_0005__needed->z_000_25_a_fce_0102_2001_03_12 [arg0] 
fof(formula,axiom,
    ! [R_25_2_SAILING_EXPERIENCE] :
      ( sailing_experience(R_25_2_SAILING_EXPERIENCE)
     => ? [R_25_4_IS_NEEDED,Z_25_A_FCE_102_2001_3_12] : is_needed(R_25_4_IS_NEEDED,Z_25_A_FCE_102_2001_3_12,R_25_2_SAILING_EXPERIENCE) ) ).


n25_a_fce_0102_2001_03 n25_a_fce_0102_2001_03_4 No n25_a_fce_0102_2001_03_6 sailing n25_a_fce_0102_2001_03_8 experience n25_a_fce_0102_2001_03_10 is n25_a_fce_0102_2001_03_13 * n25_a_fce_0102_2001_03_15 needed n25_a_fce_0102_2001_03_17 . n25_a_fce_0102_2001_03_1 IP-MAT n25_a_fce_0102_2001_03_2 NP-SBJ n25_a_fce_0102_2001_03_1->n25_a_fce_0102_2001_03_2 n25_a_fce_0102_2001_03_9 BEP;_cat_VePASS_ n25_a_fce_0102_2001_03_1->n25_a_fce_0102_2001_03_9 n25_a_fce_0102_2001_03_11 IP-PPL-CAT n25_a_fce_0102_2001_03_1->n25_a_fce_0102_2001_03_11 n25_a_fce_0102_2001_03_16 PUNC n25_a_fce_0102_2001_03_1->n25_a_fce_0102_2001_03_16 n25_a_fce_0102_2001_03_3 Q n25_a_fce_0102_2001_03_2->n25_a_fce_0102_2001_03_3 n25_a_fce_0102_2001_03_5 N n25_a_fce_0102_2001_03_2->n25_a_fce_0102_2001_03_5 n25_a_fce_0102_2001_03_7 N n25_a_fce_0102_2001_03_2->n25_a_fce_0102_2001_03_7 n25_a_fce_0102_2001_03_3->n25_a_fce_0102_2001_03_4 n25_a_fce_0102_2001_03_5->n25_a_fce_0102_2001_03_6 n25_a_fce_0102_2001_03_7->n25_a_fce_0102_2001_03_8 n25_a_fce_0102_2001_03_9->n25_a_fce_0102_2001_03_10 n25_a_fce_0102_2001_03_12 NP-LGS n25_a_fce_0102_2001_03_11->n25_a_fce_0102_2001_03_12 n25_a_fce_0102_2001_03_14 VVN;_Tn_ n25_a_fce_0102_2001_03_11->n25_a_fce_0102_2001_03_14 n25_a_fce_0102_2001_03_12->n25_a_fce_0102_2001_03_13 n25_a_fce_0102_2001_03_14->n25_a_fce_0102_2001_03_15 n25_a_fce_0102_2001_03_16->n25_a_fce_0102_2001_03_17 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (N sailing;{sailing})
                  (N experience;{experience}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ needed;{need}))
          (PUNC .))
  (ID 25_a_fce_0102_2001_03))