Context                Previous, Next                Top


1_a_genieus
Genie-us by Louise Cooper

%3 z_000_1_a_genieus_1 r_0001_0001__Genie_hyphen_us Genie-us z_000_1_a_genieus_1->r_0001_0001__Genie_hyphen_us [nim] r_0001_0003__Louise_r_0001_0004__Cooper Louise Cooper z_000_1_a_genieus_1->r_0001_0003__Louise_r_0001_0004__Cooper by [nim] 
arc(z_000_1_a_genieus_1, r_0001_0001__Genie_hyphen_us, nim2).
arc(z_000_1_a_genieus_1, r_0001_0003__Louise_r_0001_0004__Cooper, r_0001_0002__by_nim8).


%3 z_000_1_a_genieus_1 r_0001_0003__Louise_r_0001_0004__Cooper Louise Cooper z_000_1_a_genieus_1->r_0001_0003__Louise_r_0001_0004__Cooper by [nim] r_0001_0001__Genie_hyphen_us Genie-us z_000_1_a_genieus_1->r_0001_0001__Genie_hyphen_us [nim] 
fof(formula,axiom,
    ? [Z_1_A_GENIEUS_1,R_1_1_GENIE_HYPHEN_US,R_1_3_LOUISE_COOPER] :
      ( genie_hyphen_us(R_1_1_GENIE_HYPHEN_US)
      & louise_Cooper(R_1_3_LOUISE_COOPER)
      & z_1_a_genieus_1(Z_1_A_GENIEUS_1)
      & nim2(Z_1_A_GENIEUS_1,R_1_1_GENIE_HYPHEN_US)
      & by_nim8(Z_1_A_GENIEUS_1,R_1_3_LOUISE_COOPER) ) ).


n1_a_genieus n1_a_genieus__1_1_1_1 Genie-us n1_a_genieus__1_2_1_1 by n1_a_genieus__1_2_2_1_1 Louise n1_a_genieus__1_2_2_2_1 Cooper n1_a_genieus__1 FRAG n1_a_genieus__1_1 NP n1_a_genieus__1->n1_a_genieus__1_1 n1_a_genieus__1_2 PP n1_a_genieus__1->n1_a_genieus__1_2 n1_a_genieus__1_1_1 NPR n1_a_genieus__1_1->n1_a_genieus__1_1_1 n1_a_genieus__1_1_1->n1_a_genieus__1_1_1_1 n1_a_genieus__1_2_1 P-ROLE n1_a_genieus__1_2->n1_a_genieus__1_2_1 n1_a_genieus__1_2_2 NP n1_a_genieus__1_2->n1_a_genieus__1_2_2 n1_a_genieus__1_2_1->n1_a_genieus__1_2_1_1 n1_a_genieus__1_2_2_1 NPR n1_a_genieus__1_2_2->n1_a_genieus__1_2_2_1 n1_a_genieus__1_2_2_2 NPR n1_a_genieus__1_2_2->n1_a_genieus__1_2_2_2 n1_a_genieus__1_2_2_1->n1_a_genieus__1_2_2_1_1 n1_a_genieus__1_2_2_2->n1_a_genieus__1_2_2_2_1 
( (FRAG (NP (NPR Genie<hyphen>us))
        (PP (P-ROLE by;{by})
            (NP (NPR Louise;{Louise})
                (NPR Cooper;{Cooper}))))
  (ID 1_a_genieus))