Context                Previous, Next                Top


31_a_genieus
in you go!’

%3 r_0031_0001__in_r_0031_0003__go in go r_0031_0002__you you r_0031_0001__in_r_0031_0003__go->r_0031_0002__you [nim] z_000_31_a_genieus_1 r_0031_0001__in_r_0031_0003__go->z_000_31_a_genieus_1 [arg0] 
arc(r_0031_0001__in_r_0031_0003__go, r_0031_0002__you, nim4).
arc(r_0031_0001__in_r_0031_0003__go, z_000_31_a_genieus_1, arg0).


%3 r_0031_0001__in_r_0031_0003__go in go z_000_31_a_genieus_1 r_0031_0001__in_r_0031_0003__go->z_000_31_a_genieus_1 [arg0] r_0031_0002__you you r_0031_0001__in_r_0031_0003__go->r_0031_0002__you [nim] 
fof(formula,axiom,
    ? [R_0031_0002__YOU,Z_000_31_A_GENIEUS_1,R_0031_0001__IN_R_0031_0003__GO] :
      ( r_0031_0002__you(R_0031_0002__YOU)
      & z_000_31_a_genieus_1(Z_000_31_A_GENIEUS_1)
      & r_0031_0001__in_r_0031_0003__go(R_0031_0001__IN_R_0031_0003__GO)
      & has_arg0(R_0031_0001__IN_R_0031_0003__GO,Z_000_31_A_GENIEUS_1)
      & has_nim4(R_0031_0001__IN_R_0031_0003__GO,R_0031_0002__YOU) ) ).


n31_a_genieus n31_a_genieus__1_1_1 in n31_a_genieus__1_2_1_1 you n31_a_genieus__1_3_1 go n31_a_genieus__1_4_1 ! n31_a_genieus__1_5_1 <rsquo> n31_a_genieus__1 IP-IMP n31_a_genieus__1_1 RP n31_a_genieus__1->n31_a_genieus__1_1 n31_a_genieus__1_2 NP-VOC n31_a_genieus__1->n31_a_genieus__1_2 n31_a_genieus__1_3 VB;_phr_Vp_ n31_a_genieus__1->n31_a_genieus__1_3 n31_a_genieus__1_4 PUNC n31_a_genieus__1->n31_a_genieus__1_4 n31_a_genieus__1_5 PULQ n31_a_genieus__1->n31_a_genieus__1_5 n31_a_genieus__1_1->n31_a_genieus__1_1_1 n31_a_genieus__1_2_1 PRO n31_a_genieus__1_2->n31_a_genieus__1_2_1 n31_a_genieus__1_2_1->n31_a_genieus__1_2_1_1 n31_a_genieus__1_3->n31_a_genieus__1_3_1 n31_a_genieus__1_4->n31_a_genieus__1_4_1 n31_a_genieus__1_5->n31_a_genieus__1_5_1 
( (IP-IMP (RP in;{in})
          (NP-VOC;{YOUNG_MAN} (PRO you;{you}))
          (VB;_phr_Vp_ go;{go[in]})
          (PUNC !)
          (PULQ <rsquo>))
  (ID 31_a_genieus))