Context                Previous, Next                Top


2_a_ninjal_mission
What NINJAL aspires to

n2_a_ninjal_mission n2_a_ninjal_mission__1_1_1_1_1 What n2_a_ninjal_mission__1_1_2_1_1 NINJAL n2_a_ninjal_mission__1_1_3_1 aspires n2_a_ninjal_mission__1_1_4_1_1 to n2_a_ninjal_mission__1_1_4_2_1 *ICH*-191 n2_a_ninjal_mission__1 NP n2_a_ninjal_mission__1_1 IP-REL n2_a_ninjal_mission__1->n2_a_ninjal_mission__1_1 n2_a_ninjal_mission__1_1_1 NP-191 n2_a_ninjal_mission__1_1->n2_a_ninjal_mission__1_1_1 n2_a_ninjal_mission__1_1_2 NP-SBJ n2_a_ninjal_mission__1_1->n2_a_ninjal_mission__1_1_2 n2_a_ninjal_mission__1_1_3 VBP;_Ipr_ n2_a_ninjal_mission__1_1->n2_a_ninjal_mission__1_1_3 n2_a_ninjal_mission__1_1_4 PP-CLR n2_a_ninjal_mission__1_1->n2_a_ninjal_mission__1_1_4 n2_a_ninjal_mission__1_1_1_1 RPRO n2_a_ninjal_mission__1_1_1->n2_a_ninjal_mission__1_1_1_1 n2_a_ninjal_mission__1_1_1_1->n2_a_ninjal_mission__1_1_1_1_1 n2_a_ninjal_mission__1_1_2_1 NPR n2_a_ninjal_mission__1_1_2->n2_a_ninjal_mission__1_1_2_1 n2_a_ninjal_mission__1_1_2_1->n2_a_ninjal_mission__1_1_2_1_1 n2_a_ninjal_mission__1_1_3->n2_a_ninjal_mission__1_1_3_1 n2_a_ninjal_mission__1_1_4_1 P-ROLE n2_a_ninjal_mission__1_1_4->n2_a_ninjal_mission__1_1_4_1 n2_a_ninjal_mission__1_1_4_2 NP n2_a_ninjal_mission__1_1_4->n2_a_ninjal_mission__1_1_4_2 n2_a_ninjal_mission__1_1_4_1->n2_a_ninjal_mission__1_1_4_1_1 n2_a_ninjal_mission__1_1_4_2->n2_a_ninjal_mission__1_1_4_2_1 
( (NP (IP-REL (NP-191 (RPRO What;{what}))
              (NP-SBJ (NPR NINJAL;{NINJAL}))
              (VBP;_Ipr_ aspires;{aspire[to]})
              (PP-CLR (P-ROLE to;{to})
                      (NP *ICH*-191))))
  (ID 2_a_ninjal_mission))


%3 z_0002_5005 r_0002_0001__What What z_0002_5005->r_0002_0001__What r_0002_0003__aspires_r_0002_0004__to aspires to r_0002_0003__aspires_r_0002_0004__to->r_0002_0001__What [arg1] r_0002_0002__NINJAL NINJAL r_0002_0003__aspires_r_0002_0004__to->r_0002_0002__NINJAL [arg0] 
arc(r_0002_0003__aspires_r_0002_0004__to,r_0002_0001__What,arg1).
arc(r_0002_0003__aspires_r_0002_0004__to,r_0002_0002__NINJAL,arg0).
arc(z_0002_5005,r_0002_0001__What,z_0002_5002).


%3 r_0002_0003__aspires_r_0002_0004__to aspires to r_0002_0001__What What r_0002_0003__aspires_r_0002_0004__to->r_0002_0001__What [arg1] r_0002_0002__NINJAL NINJAL r_0002_0003__aspires_r_0002_0004__to->r_0002_0002__NINJAL [arg0] z_0002_5005 z_0002_5005->r_0002_0001__What 
fof(formula,axiom,
    ? [R_0002_0001__WHAT,R_0002_0002__NINJAL,R_0002_0003__ASPIRES_R_0002_0004__TO,Z_0002_5005] :
      ( r_0002_0001__What(R_0002_0001__WHAT)
      & r_0002_0002__NINJAL(R_0002_0002__NINJAL)
      & z_0002_5005(Z_0002_5005)
      & has_z_0002_5002(Z_0002_5005,R_0002_0001__WHAT)
      & r_0002_0003__aspires_r_0002_0004__to(R_0002_0003__ASPIRES_R_0002_0004__TO)
      & has_arg0(R_0002_0003__ASPIRES_R_0002_0004__TO,R_0002_0002__NINJAL)
      & has_arg1(R_0002_0003__ASPIRES_R_0002_0004__TO,R_0002_0001__WHAT) ) ).