Context                Previous, Next                Top


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

%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_000_21_a_duplex_1 z_000_21_a_duplex_1->r_0021_0007__the_r_0021_0008__name under [nim] r_0021_0001__Five_r_0021_0002__people Five people z_000_21_a_duplex_1->r_0021_0001__Five_r_0021_0002__people [nim] r_0021_0004__20_colon_00 20:00 z_000_21_a_duplex_1->r_0021_0004__20_colon_00 [nim] 
arc(r_0021_0007__the_r_0021_0008__name, r_0021_0010__Valerie, r_0021_0009__of).
arc(z_000_21_a_duplex_1, r_0021_0001__Five_r_0021_0002__people, nim2).
arc(z_000_21_a_duplex_1, r_0021_0004__20_colon_00, nim9).
arc(z_000_21_a_duplex_1, r_0021_0007__the_r_0021_0008__name, r_0021_0006__under_nim17).


%3 z_000_21_a_duplex_1 r_0021_0007__the_r_0021_0008__name the name z_000_21_a_duplex_1->r_0021_0007__the_r_0021_0008__name under [nim] r_0021_0004__20_colon_00 20:00 z_000_21_a_duplex_1->r_0021_0004__20_colon_00 [nim] r_0021_0001__Five_r_0021_0002__people Five people z_000_21_a_duplex_1->r_0021_0001__Five_r_0021_0002__people [nim] r_0021_0010__Valerie Valerie r_0021_0007__the_r_0021_0008__name->r_0021_0010__Valerie of 
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_000_21_A_DUPLEX_1] :
      ( 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_000_21_a_duplex_1(Z_000_21_A_DUPLEX_1)
      & has_r_0021_0006__under_nim17(Z_000_21_A_DUPLEX_1,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_nim9(Z_000_21_A_DUPLEX_1,R_0021_0004__20_COLON_00)
      & has_nim2(Z_000_21_A_DUPLEX_1,R_0021_0001__FIVE_R_0021_0002__PEOPLE) ) ).


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))