21_a_duplex
Five people, 20:00, under the name of Valerie.
( (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))
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).
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) ) ).