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 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] 
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_4 Five n21_a_duplex_6 people n21_a_duplex_8 , n21_a_duplex_11 20:00 n21_a_duplex_13 , n21_a_duplex_16 under n21_a_duplex_19 the n21_a_duplex_21 name n21_a_duplex_24 of n21_a_duplex_27 Valerie n21_a_duplex_29 . n21_a_duplex_1 FRAG n21_a_duplex_2 NP n21_a_duplex_1->n21_a_duplex_2 n21_a_duplex_7 PUNC n21_a_duplex_1->n21_a_duplex_7 n21_a_duplex_9 NP-NIM n21_a_duplex_1->n21_a_duplex_9 n21_a_duplex_12 PUNC n21_a_duplex_1->n21_a_duplex_12 n21_a_duplex_14 PP-NIM n21_a_duplex_1->n21_a_duplex_14 n21_a_duplex_28 PUNC n21_a_duplex_1->n21_a_duplex_28 n21_a_duplex_3 NUM n21_a_duplex_2->n21_a_duplex_3 n21_a_duplex_5 NS n21_a_duplex_2->n21_a_duplex_5 n21_a_duplex_3->n21_a_duplex_4 n21_a_duplex_5->n21_a_duplex_6 n21_a_duplex_7->n21_a_duplex_8 n21_a_duplex_10 NUM n21_a_duplex_9->n21_a_duplex_10 n21_a_duplex_10->n21_a_duplex_11 n21_a_duplex_12->n21_a_duplex_13 n21_a_duplex_15 P-ROLE n21_a_duplex_14->n21_a_duplex_15 n21_a_duplex_17 NP n21_a_duplex_14->n21_a_duplex_17 n21_a_duplex_15->n21_a_duplex_16 n21_a_duplex_18 D n21_a_duplex_17->n21_a_duplex_18 n21_a_duplex_20 N n21_a_duplex_17->n21_a_duplex_20 n21_a_duplex_22 PP n21_a_duplex_17->n21_a_duplex_22 n21_a_duplex_18->n21_a_duplex_19 n21_a_duplex_20->n21_a_duplex_21 n21_a_duplex_23 P-ROLE n21_a_duplex_22->n21_a_duplex_23 n21_a_duplex_25 NP n21_a_duplex_22->n21_a_duplex_25 n21_a_duplex_23->n21_a_duplex_24 n21_a_duplex_26 NPR n21_a_duplex_25->n21_a_duplex_26 n21_a_duplex_26->n21_a_duplex_27 n21_a_duplex_28->n21_a_duplex_29 
( (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))