Context                Previous, Next                Top


55_a_duplex
It gets up-to-date information - without any legwork or expense on its part - and the restaurant, in theory, only takes one “are you open tomorrow?” call.

%3 r_0055_0002__gets gets r_0055_0001__It It r_0055_0002__gets->r_0055_0001__It [arg0] r_0055_0004__information information r_0055_0002__gets->r_0055_0004__information [arg1] r_0055_0009__or or r_0055_0002__gets->r_0055_0009__or without [nim] r_0055_0003__up__hyphen__to__hyphen__date up-to-date r_0055_0004__information->r_0055_0003__up__hyphen__to__hyphen__date [attrib] r_0055_0008__legwork legwork r_0055_0009__or->r_0055_0008__legwork [conj1] r_0055_0010__expense expense r_0055_0009__or->r_0055_0010__expense [conj2] r_0055_0013__part part r_0055_0009__or->r_0055_0013__part on r_0055_0013__part->r_0055_0001__It [gen] r_0055_0015__and and r_0055_0015__and->r_0055_0002__gets [conj1] r_0055_0023__takes takes r_0055_0015__and->r_0055_0023__takes [conj2] r_0055_0016__the_r_0055_0017__restaurant the restaurant r_0055_0023__takes->r_0055_0016__the_r_0055_0017__restaurant [arg0] r_0055_0020__theory theory r_0055_0023__takes->r_0055_0020__theory in [nim] r_0055_0022__only only r_0055_0023__takes->r_0055_0022__only [nim] r_0055_0024__one_r_0055_0032__call one call r_0055_0023__takes->r_0055_0024__one_r_0055_0032__call [arg1] 
arc(r_0055_0002__gets, r_0055_0001__It, arg0).
arc(r_0055_0002__gets, r_0055_0004__information, arg1).
arc(r_0055_0002__gets, r_0055_0009__or, r_0055_0006__without_nim20).
arc(r_0055_0004__information, r_0055_0003__up__hyphen__to__hyphen__date, attrib10).
arc(r_0055_0009__or, r_0055_0008__legwork, conj1).
arc(r_0055_0009__or, r_0055_0010__expense, conj2).
arc(r_0055_0009__or, r_0055_0013__part, r_0055_0011__on).
arc(r_0055_0013__part, r_0055_0001__It, gen).
arc(r_0055_0015__and, r_0055_0002__gets, conj1).
arc(r_0055_0015__and, r_0055_0023__takes, conj2).
arc(r_0055_0023__takes, r_0055_0016__the_r_0055_0017__restaurant, arg0).
arc(r_0055_0023__takes, r_0055_0020__theory, r_0055_0019__in_nim58).
arc(r_0055_0023__takes, r_0055_0022__only, nim63).
arc(r_0055_0023__takes, r_0055_0024__one_r_0055_0032__call, arg1).


%3 r_0055_0002__gets gets r_0055_0001__It It r_0055_0002__gets->r_0055_0001__It [arg0] r_0055_0004__information information r_0055_0002__gets->r_0055_0004__information [arg1] r_0055_0009__or or r_0055_0002__gets->r_0055_0009__or without [nim] r_0055_0003__up__hyphen__to__hyphen__date up-to-date r_0055_0004__information->r_0055_0003__up__hyphen__to__hyphen__date [attrib] r_0055_0008__legwork legwork r_0055_0009__or->r_0055_0008__legwork [conj1] r_0055_0010__expense expense r_0055_0009__or->r_0055_0010__expense [conj2] r_0055_0013__part part r_0055_0009__or->r_0055_0013__part on r_0055_0013__part->r_0055_0001__It [gen] r_0055_0015__and and r_0055_0015__and->r_0055_0002__gets [conj1] r_0055_0023__takes takes r_0055_0015__and->r_0055_0023__takes [conj2] r_0055_0016__the_r_0055_0017__restaurant the restaurant r_0055_0023__takes->r_0055_0016__the_r_0055_0017__restaurant [arg0] r_0055_0020__theory theory r_0055_0023__takes->r_0055_0020__theory in [nim] r_0055_0022__only only r_0055_0023__takes->r_0055_0022__only [nim] r_0055_0024__one_r_0055_0032__call one call r_0055_0023__takes->r_0055_0024__one_r_0055_0032__call [arg1] 
fof(formula,axiom,
    ? [R_55_15_AND,R_55_2_GETS,R_55_4_INFORMATION,R_55_3_UP_HYPHEN_TO_HYPHEN_DATE,R_55_9_OR,R_55_8_LEGWORK,R_55_10_EXPENSE,R_55_13_PART,R_55_1_IT,R_55_23_TAKES,R_55_16_THE_RESTAURANT,R_55_24_ONE_CALL,R_55_22_ONLY,R_55_20_THEORY] :
      ( up_hyphen_to_hyphen_date(R_55_3_UP_HYPHEN_TO_HYPHEN_DATE)
      & legwork(R_55_8_LEGWORK)
      & expense(R_55_10_EXPENSE)
      & it(R_55_1_IT)
      & the_restaurant(R_55_16_THE_RESTAURANT)
      & one_call(R_55_24_ONE_CALL)
      & only(R_55_22_ONLY)
      & theory(R_55_20_THEORY)
      & and(R_55_15_AND)
      & conj1(R_55_15_AND,R_55_2_GETS)
      & gets(R_55_2_GETS,R_55_1_IT,R_55_4_INFORMATION)
      & information(R_55_4_INFORMATION)
      & attrib10(R_55_4_INFORMATION,R_55_3_UP_HYPHEN_TO_HYPHEN_DATE)
      & without_nim20(R_55_2_GETS,R_55_9_OR)
      & or(R_55_9_OR)
      & conj1(R_55_9_OR,R_55_8_LEGWORK)
      & conj2(R_55_9_OR,R_55_10_EXPENSE)
      & on(R_55_9_OR,R_55_13_PART)
      & part(R_55_13_PART)
      & gen(R_55_13_PART,R_55_1_IT)
      & conj2(R_55_15_AND,R_55_23_TAKES)
      & takes(R_55_23_TAKES,R_55_16_THE_RESTAURANT,R_55_24_ONE_CALL)
      & nim63(R_55_23_TAKES,R_55_22_ONLY)
      & in_nim58(R_55_23_TAKES,R_55_20_THEORY) ) ).


n55_a_duplex n55_a_duplex_6 It n55_a_duplex_8 gets n55_a_duplex_12 up-to-date n55_a_duplex_14 information n55_a_duplex_16 - n55_a_duplex_19 without n55_a_duplex_22 any n55_a_duplex_26 legwork n55_a_duplex_29 or n55_a_duplex_32 expense n55_a_duplex_35 on n55_a_duplex_39 its n55_a_duplex_41 part n55_a_duplex_43 - n55_a_duplex_46 and n55_a_duplex_50 the n55_a_duplex_52 restaurant n55_a_duplex_54 , n55_a_duplex_57 in n55_a_duplex_60 theory n55_a_duplex_62 , n55_a_duplex_65 only n55_a_duplex_67 takes n55_a_duplex_70 one n55_a_duplex_72 <ldquo> n55_a_duplex_77 are n55_a_duplex_80 you n55_a_duplex_83 open n55_a_duplex_86 tomorrow n55_a_duplex_88 ? n55_a_duplex_90 <rdquo> n55_a_duplex_92 call n55_a_duplex_94 . n55_a_duplex_1 IP-MAT n55_a_duplex_2 ILYR n55_a_duplex_1->n55_a_duplex_2 n55_a_duplex_93 PUNC n55_a_duplex_1->n55_a_duplex_93 n55_a_duplex_3 ILYR n55_a_duplex_2->n55_a_duplex_3 n55_a_duplex_42 PUNC n55_a_duplex_2->n55_a_duplex_42 n55_a_duplex_44 CONJP n55_a_duplex_2->n55_a_duplex_44 n55_a_duplex_4 NP-SBJ n55_a_duplex_3->n55_a_duplex_4 n55_a_duplex_7 VBP;_Tn_ n55_a_duplex_3->n55_a_duplex_7 n55_a_duplex_9 NP-OB1 n55_a_duplex_3->n55_a_duplex_9 n55_a_duplex_15 PUNC n55_a_duplex_3->n55_a_duplex_15 n55_a_duplex_17 PP-NIM n55_a_duplex_3->n55_a_duplex_17 n55_a_duplex_5 PRO n55_a_duplex_4->n55_a_duplex_5 n55_a_duplex_5->n55_a_duplex_6 n55_a_duplex_7->n55_a_duplex_8 n55_a_duplex_10 ADJP n55_a_duplex_9->n55_a_duplex_10 n55_a_duplex_13 N n55_a_duplex_9->n55_a_duplex_13 n55_a_duplex_11 ADJ n55_a_duplex_10->n55_a_duplex_11 n55_a_duplex_11->n55_a_duplex_12 n55_a_duplex_13->n55_a_duplex_14 n55_a_duplex_15->n55_a_duplex_16 n55_a_duplex_18 P-ROLE n55_a_duplex_17->n55_a_duplex_18 n55_a_duplex_20 NP n55_a_duplex_17->n55_a_duplex_20 n55_a_duplex_18->n55_a_duplex_19 n55_a_duplex_21 D n55_a_duplex_20->n55_a_duplex_21 n55_a_duplex_23 NLYR n55_a_duplex_20->n55_a_duplex_23 n55_a_duplex_33 PP n55_a_duplex_20->n55_a_duplex_33 n55_a_duplex_21->n55_a_duplex_22 n55_a_duplex_24 NLYR n55_a_duplex_23->n55_a_duplex_24 n55_a_duplex_27 CONJP n55_a_duplex_23->n55_a_duplex_27 n55_a_duplex_25 N n55_a_duplex_24->n55_a_duplex_25 n55_a_duplex_25->n55_a_duplex_26 n55_a_duplex_28 CONJ n55_a_duplex_27->n55_a_duplex_28 n55_a_duplex_30 NLYR n55_a_duplex_27->n55_a_duplex_30 n55_a_duplex_28->n55_a_duplex_29 n55_a_duplex_31 N n55_a_duplex_30->n55_a_duplex_31 n55_a_duplex_31->n55_a_duplex_32 n55_a_duplex_34 P-ROLE n55_a_duplex_33->n55_a_duplex_34 n55_a_duplex_36 NP n55_a_duplex_33->n55_a_duplex_36 n55_a_duplex_34->n55_a_duplex_35 n55_a_duplex_37 NP-GEN n55_a_duplex_36->n55_a_duplex_37 n55_a_duplex_40 N n55_a_duplex_36->n55_a_duplex_40 n55_a_duplex_38 PRO;_genm_ n55_a_duplex_37->n55_a_duplex_38 n55_a_duplex_38->n55_a_duplex_39 n55_a_duplex_40->n55_a_duplex_41 n55_a_duplex_42->n55_a_duplex_43 n55_a_duplex_45 CONJ n55_a_duplex_44->n55_a_duplex_45 n55_a_duplex_47 ILYR n55_a_duplex_44->n55_a_duplex_47 n55_a_duplex_45->n55_a_duplex_46 n55_a_duplex_48 NP-SBJ n55_a_duplex_47->n55_a_duplex_48 n55_a_duplex_53 PUNC n55_a_duplex_47->n55_a_duplex_53 n55_a_duplex_55 PP-NIM n55_a_duplex_47->n55_a_duplex_55 n55_a_duplex_61 PUNC n55_a_duplex_47->n55_a_duplex_61 n55_a_duplex_63 ADVP-NIM n55_a_duplex_47->n55_a_duplex_63 n55_a_duplex_66 VBP;_Tn_ n55_a_duplex_47->n55_a_duplex_66 n55_a_duplex_68 NP-OB1 n55_a_duplex_47->n55_a_duplex_68 n55_a_duplex_49 D n55_a_duplex_48->n55_a_duplex_49 n55_a_duplex_51 N n55_a_duplex_48->n55_a_duplex_51 n55_a_duplex_49->n55_a_duplex_50 n55_a_duplex_51->n55_a_duplex_52 n55_a_duplex_53->n55_a_duplex_54 n55_a_duplex_56 P-ROLE n55_a_duplex_55->n55_a_duplex_56 n55_a_duplex_58 NP n55_a_duplex_55->n55_a_duplex_58 n55_a_duplex_56->n55_a_duplex_57 n55_a_duplex_59 N n55_a_duplex_58->n55_a_duplex_59 n55_a_duplex_59->n55_a_duplex_60 n55_a_duplex_61->n55_a_duplex_62 n55_a_duplex_64 ADV n55_a_duplex_63->n55_a_duplex_64 n55_a_duplex_64->n55_a_duplex_65 n55_a_duplex_66->n55_a_duplex_67 n55_a_duplex_69 D n55_a_duplex_68->n55_a_duplex_69 n55_a_duplex_71 PULQ n55_a_duplex_68->n55_a_duplex_71 n55_a_duplex_73 PRN n55_a_duplex_68->n55_a_duplex_73 n55_a_duplex_87 PUNC n55_a_duplex_68->n55_a_duplex_87 n55_a_duplex_89 PURQ n55_a_duplex_68->n55_a_duplex_89 n55_a_duplex_91 N n55_a_duplex_68->n55_a_duplex_91 n55_a_duplex_69->n55_a_duplex_70 n55_a_duplex_71->n55_a_duplex_72 n55_a_duplex_74 CP-QUE n55_a_duplex_73->n55_a_duplex_74 n55_a_duplex_75 IP-SUB n55_a_duplex_74->n55_a_duplex_75 n55_a_duplex_76 BEP;_La_ n55_a_duplex_75->n55_a_duplex_76 n55_a_duplex_78 NP-SBJ n55_a_duplex_75->n55_a_duplex_78 n55_a_duplex_81 ADJP-PRD n55_a_duplex_75->n55_a_duplex_81 n55_a_duplex_84 ADVP-NIM n55_a_duplex_75->n55_a_duplex_84 n55_a_duplex_76->n55_a_duplex_77 n55_a_duplex_79 PRO n55_a_duplex_78->n55_a_duplex_79 n55_a_duplex_79->n55_a_duplex_80 n55_a_duplex_82 ADJ n55_a_duplex_81->n55_a_duplex_82 n55_a_duplex_82->n55_a_duplex_83 n55_a_duplex_85 ADV n55_a_duplex_84->n55_a_duplex_85 n55_a_duplex_85->n55_a_duplex_86 n55_a_duplex_87->n55_a_duplex_88 n55_a_duplex_89->n55_a_duplex_90 n55_a_duplex_91->n55_a_duplex_92 n55_a_duplex_93->n55_a_duplex_94 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{GOOGLE} (PRO It;{it}))
                      (VBP;_Tn_ gets;{get})
                      (NP-OB1 (ADJP (ADJ up_<hyphen>_to_<hyphen>_date;{up_to_date}))
                              (N information;{information}))
                      (PUNC <hyphen>)
                      (PP-NIM (P-ROLE without;{without})
                              (NP (D any;{any})
                                  (NLYR (NLYR (N legwork;{legwork}))
                                        (CONJP (CONJ or;{or})
                                               (NLYR (N expense;{expense}))))
                                  (PP (P-ROLE on;{on})
                                      (NP (NP-GEN;{GOOGLE} (PRO;_genm_ its;{its}))
                                          (N part;{part}))))))
                (PUNC <hyphen>)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{RESTAURANT} (D the;{the})
                                                  (N restaurant;{restaurant}))
                             (PUNC ,)
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (N theory;{theory})))
                             (PUNC ,)
                             (ADVP-NIM (ADV only;{only}))
                             (VBP;_Tn_ takes;{take})
                             (NP-OB1 (D one;{one})
                                     (PULQ <ldquo>)
                                     (PRN (CP-QUE (IP-SUB (BEP;_La_ are;{be})
                                                          (NP-SBJ;{RESTAURANT} (PRO you;{you}))
                                                          (ADJP-PRD (ADJ open;{open}))
                                                          (ADVP-NIM (ADV tomorrow;{tomorrow})))))
                                     (PUNC ?)
                                     (PURQ <rdquo>)
                                     (N call;{call})))))
          (PUNC .))
  (ID 55_a_duplex))