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,
    ? [Z_21_A_DUPLEX_1,R_21_1_FIVE_PEOPLE,R_21_4_20_COLON_,R_21_7_THE_NAME,R_21_10_VALERIE] :
      ( five_people(R_21_1_FIVE_PEOPLE)
      & 20_colon_(R_21_4_20_COLON_)
      & valerie(R_21_10_VALERIE)
      & z_21_a_duplex_1(Z_21_A_DUPLEX_1)
      & nim2(Z_21_A_DUPLEX_1,R_21_1_FIVE_PEOPLE)
      & nim9(Z_21_A_DUPLEX_1,R_21_4_20_COLON_)
      & under_nim17(Z_21_A_DUPLEX_1,R_21_7_THE_NAME)
      & the_name(R_21_7_THE_NAME)
      & of(R_21_7_THE_NAME,R_21_10_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))