Context                Previous, Next                Top


25_a_fce_0102_2001_03
No sailing experience is needed.

n25_a_fce_0102_2001_03 n25_a_fce_0102_2001_03__1_1_1_1 No n25_a_fce_0102_2001_03__1_1_2_1 sailing n25_a_fce_0102_2001_03__1_1_3_1 experience n25_a_fce_0102_2001_03__1_2_1 is n25_a_fce_0102_2001_03__1_3_1_1 * n25_a_fce_0102_2001_03__1_3_2_1 needed n25_a_fce_0102_2001_03__1_4_1 . n25_a_fce_0102_2001_03__1 IP-MAT n25_a_fce_0102_2001_03__1_1 NP-SBJ n25_a_fce_0102_2001_03__1->n25_a_fce_0102_2001_03__1_1 n25_a_fce_0102_2001_03__1_2 BEP;_cat_VePASS_ n25_a_fce_0102_2001_03__1->n25_a_fce_0102_2001_03__1_2 n25_a_fce_0102_2001_03__1_3 IP-PPL-CAT n25_a_fce_0102_2001_03__1->n25_a_fce_0102_2001_03__1_3 n25_a_fce_0102_2001_03__1_4 PUNC n25_a_fce_0102_2001_03__1->n25_a_fce_0102_2001_03__1_4 n25_a_fce_0102_2001_03__1_1_1 Q n25_a_fce_0102_2001_03__1_1->n25_a_fce_0102_2001_03__1_1_1 n25_a_fce_0102_2001_03__1_1_2 N n25_a_fce_0102_2001_03__1_1->n25_a_fce_0102_2001_03__1_1_2 n25_a_fce_0102_2001_03__1_1_3 N n25_a_fce_0102_2001_03__1_1->n25_a_fce_0102_2001_03__1_1_3 n25_a_fce_0102_2001_03__1_1_1->n25_a_fce_0102_2001_03__1_1_1_1 n25_a_fce_0102_2001_03__1_1_2->n25_a_fce_0102_2001_03__1_1_2_1 n25_a_fce_0102_2001_03__1_1_3->n25_a_fce_0102_2001_03__1_1_3_1 n25_a_fce_0102_2001_03__1_2->n25_a_fce_0102_2001_03__1_2_1 n25_a_fce_0102_2001_03__1_3_1 NP-LGS n25_a_fce_0102_2001_03__1_3->n25_a_fce_0102_2001_03__1_3_1 n25_a_fce_0102_2001_03__1_3_2 VVN;_Tn_ n25_a_fce_0102_2001_03__1_3->n25_a_fce_0102_2001_03__1_3_2 n25_a_fce_0102_2001_03__1_3_1->n25_a_fce_0102_2001_03__1_3_1_1 n25_a_fce_0102_2001_03__1_3_2->n25_a_fce_0102_2001_03__1_3_2_1 n25_a_fce_0102_2001_03__1_4->n25_a_fce_0102_2001_03__1_4_1 
( (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))


%3 r_0025_0005__needed needed z_0025_5004___star_ * r_0025_0005__needed->z_0025_5004___star_ [arg0] r_0025_0002__sailing_r_0025_0003__experience sailing experience r_0025_0005__needed->r_0025_0002__sailing_r_0025_0003__experience [arg1] r_0025_0004__is is r_0025_0004__is->r_0025_0005__needed [scope] r_0025_0001__No__quant No [quant] r_0025_0001__No__quant->r_0025_0002__sailing_r_0025_0003__experience [restriction] r_0025_0001__No__quant->r_0025_0004__is [scope] 
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_0025_5004___star_,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_0025_5004___star_ * r_0025_0004__is_r_0025_0005__needed->z_0025_5004___star_ [arg0] 
fof(formula,axiom,
    ! [R_0025_0002__SAILING_R_0025_0003__EXPERIENCE] :
      ( r_0025_0002__sailing_r_0025_0003__experience(R_0025_0002__SAILING_R_0025_0003__EXPERIENCE)
     => ? [Z_0025_5004___STAR_,R_0025_0004__IS_R_0025_0005__NEEDED] :
          ( z_0025_5004___star_(Z_0025_5004___STAR_)
          & r_0025_0004__is_r_0025_0005__needed(R_0025_0004__IS_R_0025_0005__NEEDED)
          & has_arg0(R_0025_0004__IS_R_0025_0005__NEEDED,Z_0025_5004___STAR_)
          & has_arg1(R_0025_0004__IS_R_0025_0005__NEEDED,R_0025_0002__SAILING_R_0025_0003__EXPERIENCE) ) ) ).