Context                Previous, Next                Top


2_a_ninjal_mission
What NINJAL aspires to

%3 r_0002_0003__aspires aspires r_0002_0002__NINJAL NINJAL r_0002_0003__aspires->r_0002_0002__NINJAL [arg0] z_000_2_a_ninjal_mission_2 r_0002_0003__aspires->z_000_2_a_ninjal_mission_2 to [clr] z_000_2_a_ninjal_mission_1 z_000_2_a_ninjal_mission_1->z_000_2_a_ninjal_mission_2 [nim] 
arc(r_0002_0003__aspires, r_0002_0002__NINJAL, arg0).
arc(r_0002_0003__aspires, z_000_2_a_ninjal_mission_2, r_0002_0004__to_clr15).
arc(z_000_2_a_ninjal_mission_1, z_000_2_a_ninjal_mission_2, nim2).


%3 z_000_2_a_ninjal_mission_1 z_000_2_a_ninjal_mission_2 z_000_2_a_ninjal_mission_1->z_000_2_a_ninjal_mission_2 [nim] r_0002_0003__aspires aspires r_0002_0003__aspires->z_000_2_a_ninjal_mission_2 to [clr] r_0002_0002__NINJAL NINJAL r_0002_0003__aspires->r_0002_0002__NINJAL [arg0] 
fof(formula,axiom,
    ? [R_2_3_ASPIRES,R_2_2_NINJAL,Z_2_A_NINJAL_MISSION_1,Z_2_A_NINJAL_MISSION_2] :
      ( nINJAL(R_2_2_NINJAL)
      & aspires(R_2_3_ASPIRES,R_2_2_NINJAL)
      & to_clr15(R_2_3_ASPIRES,Z_2_A_NINJAL_MISSION_2)
      & z_2_a_ninjal_mission_1(Z_2_A_NINJAL_MISSION_1)
      & nim2(Z_2_A_NINJAL_MISSION_1,Z_2_A_NINJAL_MISSION_2) ) ).


n2_a_ninjal_mission n2_a_ninjal_mission__1_1_1_1_1_1 What n2_a_ninjal_mission__1_1_1_2_1_1 NINJAL n2_a_ninjal_mission__1_1_1_3_1 aspires n2_a_ninjal_mission__1_1_1_4_1_1 to n2_a_ninjal_mission__1_1_1_4_2_1 *ICH*-191 n2_a_ninjal_mission__1 FRAG n2_a_ninjal_mission__1_1 NP n2_a_ninjal_mission__1->n2_a_ninjal_mission__1_1 n2_a_ninjal_mission__1_1_1 IP-REL n2_a_ninjal_mission__1_1->n2_a_ninjal_mission__1_1_1 n2_a_ninjal_mission__1_1_1_1 NP-191 n2_a_ninjal_mission__1_1_1->n2_a_ninjal_mission__1_1_1_1 n2_a_ninjal_mission__1_1_1_2 NP-SBJ n2_a_ninjal_mission__1_1_1->n2_a_ninjal_mission__1_1_1_2 n2_a_ninjal_mission__1_1_1_3 VBP;_Ipr_ n2_a_ninjal_mission__1_1_1->n2_a_ninjal_mission__1_1_1_3 n2_a_ninjal_mission__1_1_1_4 PP-CLR n2_a_ninjal_mission__1_1_1->n2_a_ninjal_mission__1_1_1_4 n2_a_ninjal_mission__1_1_1_1_1 RPRO n2_a_ninjal_mission__1_1_1_1->n2_a_ninjal_mission__1_1_1_1_1 n2_a_ninjal_mission__1_1_1_1_1->n2_a_ninjal_mission__1_1_1_1_1_1 n2_a_ninjal_mission__1_1_1_2_1 NPR n2_a_ninjal_mission__1_1_1_2->n2_a_ninjal_mission__1_1_1_2_1 n2_a_ninjal_mission__1_1_1_2_1->n2_a_ninjal_mission__1_1_1_2_1_1 n2_a_ninjal_mission__1_1_1_3->n2_a_ninjal_mission__1_1_1_3_1 n2_a_ninjal_mission__1_1_1_4_1 P-ROLE n2_a_ninjal_mission__1_1_1_4->n2_a_ninjal_mission__1_1_1_4_1 n2_a_ninjal_mission__1_1_1_4_2 NP n2_a_ninjal_mission__1_1_1_4->n2_a_ninjal_mission__1_1_1_4_2 n2_a_ninjal_mission__1_1_1_4_1->n2_a_ninjal_mission__1_1_1_4_1_1 n2_a_ninjal_mission__1_1_1_4_2->n2_a_ninjal_mission__1_1_1_4_2_1 
( (FRAG (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))