Context                Previous, Next                Top


21_a_duplex
Five people, 20:00, under the name of Valerie.

n21_a_duplex n21_a_duplex__1_1_1_1 Five n21_a_duplex__1_1_2_1 people n21_a_duplex__1_2_1 , n21_a_duplex__1_3_1_1 20:00 n21_a_duplex__1_4_1 , n21_a_duplex__1_5_1_1 under n21_a_duplex__1_5_2_1_1 the n21_a_duplex__1_5_2_2_1 name n21_a_duplex__1_5_2_3_1_1 of n21_a_duplex__1_5_2_3_2_1_1 Valerie n21_a_duplex__1_6_1 . n21_a_duplex__1 FRAG n21_a_duplex__1_1 NP n21_a_duplex__1->n21_a_duplex__1_1 n21_a_duplex__1_2 PUNC n21_a_duplex__1->n21_a_duplex__1_2 n21_a_duplex__1_3 NP-NIM n21_a_duplex__1->n21_a_duplex__1_3 n21_a_duplex__1_4 PUNC n21_a_duplex__1->n21_a_duplex__1_4 n21_a_duplex__1_5 PP-NIM n21_a_duplex__1->n21_a_duplex__1_5 n21_a_duplex__1_6 PUNC n21_a_duplex__1->n21_a_duplex__1_6 n21_a_duplex__1_1_1 NUM n21_a_duplex__1_1->n21_a_duplex__1_1_1 n21_a_duplex__1_1_2 NS n21_a_duplex__1_1->n21_a_duplex__1_1_2 n21_a_duplex__1_1_1->n21_a_duplex__1_1_1_1 n21_a_duplex__1_1_2->n21_a_duplex__1_1_2_1 n21_a_duplex__1_2->n21_a_duplex__1_2_1 n21_a_duplex__1_3_1 NUM n21_a_duplex__1_3->n21_a_duplex__1_3_1 n21_a_duplex__1_3_1->n21_a_duplex__1_3_1_1 n21_a_duplex__1_4->n21_a_duplex__1_4_1 n21_a_duplex__1_5_1 P-ROLE n21_a_duplex__1_5->n21_a_duplex__1_5_1 n21_a_duplex__1_5_2 NP n21_a_duplex__1_5->n21_a_duplex__1_5_2 n21_a_duplex__1_5_1->n21_a_duplex__1_5_1_1 n21_a_duplex__1_5_2_1 D n21_a_duplex__1_5_2->n21_a_duplex__1_5_2_1 n21_a_duplex__1_5_2_2 N n21_a_duplex__1_5_2->n21_a_duplex__1_5_2_2 n21_a_duplex__1_5_2_3 PP n21_a_duplex__1_5_2->n21_a_duplex__1_5_2_3 n21_a_duplex__1_5_2_1->n21_a_duplex__1_5_2_1_1 n21_a_duplex__1_5_2_2->n21_a_duplex__1_5_2_2_1 n21_a_duplex__1_5_2_3_1 P-ROLE n21_a_duplex__1_5_2_3->n21_a_duplex__1_5_2_3_1 n21_a_duplex__1_5_2_3_2 NP n21_a_duplex__1_5_2_3->n21_a_duplex__1_5_2_3_2 n21_a_duplex__1_5_2_3_1->n21_a_duplex__1_5_2_3_1_1 n21_a_duplex__1_5_2_3_2_1 NPR n21_a_duplex__1_5_2_3_2->n21_a_duplex__1_5_2_3_2_1 n21_a_duplex__1_5_2_3_2_1->n21_a_duplex__1_5_2_3_2_1_1 n21_a_duplex__1_6->n21_a_duplex__1_6_1 
( (FRAG (NP (NUM Five;{five})
            (NS people;{people}))
        (PUNC ,)
        (NP-NIM (NUM 20:00))
        (PUNC ,)
        (PP-NIM (P-ROLE under;{under})
                (NP (D the;{the})
                    (N name;{name})
                    (PP (P-ROLE of;{of})
                        (NP (NPR Valerie;{Valerie})))))
        (PUNC .))
  (ID 21_a_duplex))


%3 z_0021_5006 r_0021_0007__the_r_0021_0008__name the name z_0021_5006->r_0021_0007__the_r_0021_0008__name under [nim] r_0021_0004__20_colon_00 20_colon_00 z_0021_5006->r_0021_0004__20_colon_00 [nim] r_0021_0001__Five_r_0021_0002__people Five people z_0021_5006->r_0021_0001__Five_r_0021_0002__people r_0021_0010__Valerie Valerie r_0021_0007__the_r_0021_0008__name->r_0021_0010__Valerie of 
arc(r_0021_0007__the_r_0021_0008__name,r_0021_0010__Valerie,r_0021_0009__of).
arc(z_0021_5006,r_0021_0001__Five_r_0021_0002__people,z_0021_5004).
arc(z_0021_5006,r_0021_0004__20_colon_00,nim).
arc(z_0021_5006,r_0021_0007__the_r_0021_0008__name,r_0021_0006__under__nim).


%3 r_0021_0007__the_r_0021_0008__name the name r_0021_0010__Valerie Valerie r_0021_0007__the_r_0021_0008__name->r_0021_0010__Valerie of z_0021_5006 z_0021_5006->r_0021_0007__the_r_0021_0008__name under [nim] r_0021_0001__Five_r_0021_0002__people Five people z_0021_5006->r_0021_0001__Five_r_0021_0002__people r_0021_0004__20_colon_00 20_colon_00 z_0021_5006->r_0021_0004__20_colon_00 [nim] 
fof(formula,axiom,
    ? [R_0021_0001__FIVE_R_0021_0002__PEOPLE,R_0021_0004__20_COLON_00,R_0021_0010__VALERIE,R_0021_0007__THE_R_0021_0008__NAME,Z_0021_5006] :
      ( r_0021_0001__Five_r_0021_0002__people(R_0021_0001__FIVE_R_0021_0002__PEOPLE)
      & r_0021_0004__20_colon_00(R_0021_0004__20_COLON_00)
      & r_0021_0010__Valerie(R_0021_0010__VALERIE)
      & z_0021_5006(Z_0021_5006)
      & has_r_0021_0006__under__nim(Z_0021_5006,R_0021_0007__THE_R_0021_0008__NAME)
      & r_0021_0007__the_r_0021_0008__name(R_0021_0007__THE_R_0021_0008__NAME)
      & has_r_0021_0009__of(R_0021_0007__THE_R_0021_0008__NAME,R_0021_0010__VALERIE)
      & has_nim(Z_0021_5006,R_0021_0004__20_COLON_00)
      & has_z_0021_5004(Z_0021_5006,R_0021_0001__FIVE_R_0021_0002__PEOPLE) ) ).