Context                Previous, Next                Top


14_a_johnson_letter
You can travel to and from work but should work from home if you can.

%3 r_0014_0002__can can r_0014_0003__travel travel r_0014_0002__can->r_0014_0003__travel [scope] r_0014_0001__You You r_0014_0003__travel->r_0014_0001__You [arg0] r_0014_0005__work work r_0014_0003__travel->r_0014_0005__work to and from [clr] r_0014_0006__but but r_0014_0006__but->r_0014_0002__can [conj1] r_0014_0011__if if r_0014_0006__but->r_0014_0011__if [conj2] r_0014_0007__should should r_0014_0011__if->r_0014_0007__should [scope] r_0014_0013__can can r_0014_0011__if->r_0014_0013__can [restriction] r_0014_0008__work work r_0014_0007__should->r_0014_0008__work [scope] r_0014_0008__work->r_0014_0001__You [arg0] r_0014_0010__home home r_0014_0008__work->r_0014_0010__home from [nim] r_0014_1001____star__ * r_0014_0013__can->r_0014_1001____star__ [scope] r_0014_1001____star__->r_0014_0001__You [arg0] 
arc(r_0014_0002__can, r_0014_0003__travel, scope).
arc(r_0014_0003__travel, r_0014_0001__You, arg0).
arc(r_0014_0003__travel, r_0014_0005__work, r_0014_0004__to_and_from_clr15).
arc(r_0014_0006__but, r_0014_0002__can, conj1).
arc(r_0014_0006__but, r_0014_0011__if, conj2).
arc(r_0014_0007__should, r_0014_0008__work, scope).
arc(r_0014_0008__work, r_0014_0001__You, arg0).
arc(r_0014_0008__work, r_0014_0010__home, r_0014_0009__from_nim30).
arc(r_0014_0011__if, r_0014_0007__should, scope).
arc(r_0014_0011__if, r_0014_0013__can, restriction).
arc(r_0014_0013__can, r_0014_1001____star__, scope).
arc(r_0014_1001____star__, r_0014_0001__You, arg0).


%3 r_0014_0002__can_r_0014_0003__travel can travel r_0014_0001__You You r_0014_0002__can_r_0014_0003__travel->r_0014_0001__You [arg0] r_0014_0005__work work r_0014_0002__can_r_0014_0003__travel->r_0014_0005__work to and from [clr] r_0014_0006__but but r_0014_0006__but->r_0014_0002__can_r_0014_0003__travel [conj1] r_0014_0011__if if r_0014_0006__but->r_0014_0011__if [conj2] r_0014_0007__should_r_0014_0008__work should work r_0014_0011__if->r_0014_0007__should_r_0014_0008__work [scope] r_0014_0013__can_r_0014_1001____star__ can  * r_0014_0011__if->r_0014_0013__can_r_0014_1001____star__ [restriction] r_0014_0007__should_r_0014_0008__work->r_0014_0001__You [arg0] r_0014_0010__home home r_0014_0007__should_r_0014_0008__work->r_0014_0010__home from [nim] r_0014_0013__can_r_0014_1001____star__->r_0014_0001__You [arg0] 
fof(formula,axiom,
    ? [R_14_6_BUT,R_14_2_CAN_TRAVEL,R_14_1_YOU,R_14_5_WORK] :
      ( you(R_14_1_YOU)
      & work(R_14_5_WORK)
      & ! [R_14_13_CAN__STAR_] :
          ( can__star_(R_14_13_CAN__STAR_,R_14_1_YOU)
         => ? [R_14_7_SHOULD_WORK,R_14_10_HOME] :
              ( home(R_14_10_HOME)
              & should_work(R_14_7_SHOULD_WORK,R_14_1_YOU)
              & from_nim30(R_14_7_SHOULD_WORK,R_14_10_HOME) ) )
      & conj2(CONJ2)
      & but(R_14_6_BUT)
      & conj1(R_14_6_BUT,R_14_2_CAN_TRAVEL)
      & can_travel(R_14_2_CAN_TRAVEL,R_14_1_YOU)
      & to_and_from_clr15(R_14_2_CAN_TRAVEL,R_14_5_WORK) ) ).


n14_a_johnson_letter n14_a_johnson_letter_4 You n14_a_johnson_letter_8 can n14_a_johnson_letter_11 travel n14_a_johnson_letter_14 to_and_from n14_a_johnson_letter_17 work n14_a_johnson_letter_20 but n14_a_johnson_letter_23 should n14_a_johnson_letter_26 work n14_a_johnson_letter_29 from n14_a_johnson_letter_32 home n14_a_johnson_letter_35 if n14_a_johnson_letter_39 you n14_a_johnson_letter_41 can n14_a_johnson_letter_44 _*_ n14_a_johnson_letter_46 . n14_a_johnson_letter_1 IP-MAT n14_a_johnson_letter_2 NP-SBJ n14_a_johnson_letter_1->n14_a_johnson_letter_2 n14_a_johnson_letter_5 ILYR n14_a_johnson_letter_1->n14_a_johnson_letter_5 n14_a_johnson_letter_45 PUNC n14_a_johnson_letter_1->n14_a_johnson_letter_45 n14_a_johnson_letter_3 PRO n14_a_johnson_letter_2->n14_a_johnson_letter_3 n14_a_johnson_letter_3->n14_a_johnson_letter_4 n14_a_johnson_letter_6 ILYR n14_a_johnson_letter_5->n14_a_johnson_letter_6 n14_a_johnson_letter_18 CONJP n14_a_johnson_letter_5->n14_a_johnson_letter_18 n14_a_johnson_letter_7 MD;_cat_Vi_ n14_a_johnson_letter_6->n14_a_johnson_letter_7 n14_a_johnson_letter_9 IP-INF-CAT n14_a_johnson_letter_6->n14_a_johnson_letter_9 n14_a_johnson_letter_7->n14_a_johnson_letter_8 n14_a_johnson_letter_10 VB;_Ipr_ n14_a_johnson_letter_9->n14_a_johnson_letter_10 n14_a_johnson_letter_12 PP-CLR n14_a_johnson_letter_9->n14_a_johnson_letter_12 n14_a_johnson_letter_10->n14_a_johnson_letter_11 n14_a_johnson_letter_13 P-ROLE n14_a_johnson_letter_12->n14_a_johnson_letter_13 n14_a_johnson_letter_15 NP n14_a_johnson_letter_12->n14_a_johnson_letter_15 n14_a_johnson_letter_13->n14_a_johnson_letter_14 n14_a_johnson_letter_16 N n14_a_johnson_letter_15->n14_a_johnson_letter_16 n14_a_johnson_letter_16->n14_a_johnson_letter_17 n14_a_johnson_letter_19 CONJ n14_a_johnson_letter_18->n14_a_johnson_letter_19 n14_a_johnson_letter_21 ILYR n14_a_johnson_letter_18->n14_a_johnson_letter_21 n14_a_johnson_letter_19->n14_a_johnson_letter_20 n14_a_johnson_letter_22 MD;_cat_Vi_ n14_a_johnson_letter_21->n14_a_johnson_letter_22 n14_a_johnson_letter_24 IP-INF-CAT n14_a_johnson_letter_21->n14_a_johnson_letter_24 n14_a_johnson_letter_33 PP-SCON n14_a_johnson_letter_21->n14_a_johnson_letter_33 n14_a_johnson_letter_22->n14_a_johnson_letter_23 n14_a_johnson_letter_25 VB;_I_ n14_a_johnson_letter_24->n14_a_johnson_letter_25 n14_a_johnson_letter_27 PP-NIM n14_a_johnson_letter_24->n14_a_johnson_letter_27 n14_a_johnson_letter_25->n14_a_johnson_letter_26 n14_a_johnson_letter_28 P-ROLE n14_a_johnson_letter_27->n14_a_johnson_letter_28 n14_a_johnson_letter_30 NP n14_a_johnson_letter_27->n14_a_johnson_letter_30 n14_a_johnson_letter_28->n14_a_johnson_letter_29 n14_a_johnson_letter_31 N n14_a_johnson_letter_30->n14_a_johnson_letter_31 n14_a_johnson_letter_31->n14_a_johnson_letter_32 n14_a_johnson_letter_34 P-CONN n14_a_johnson_letter_33->n14_a_johnson_letter_34 n14_a_johnson_letter_36 IP-ADV n14_a_johnson_letter_33->n14_a_johnson_letter_36 n14_a_johnson_letter_34->n14_a_johnson_letter_35 n14_a_johnson_letter_37 NP-SBJ n14_a_johnson_letter_36->n14_a_johnson_letter_37 n14_a_johnson_letter_40 MD;_cat_Vi_ n14_a_johnson_letter_36->n14_a_johnson_letter_40 n14_a_johnson_letter_42 IP-INF-CAT n14_a_johnson_letter_36->n14_a_johnson_letter_42 n14_a_johnson_letter_38 PRO n14_a_johnson_letter_37->n14_a_johnson_letter_38 n14_a_johnson_letter_38->n14_a_johnson_letter_39 n14_a_johnson_letter_40->n14_a_johnson_letter_41 n14_a_johnson_letter_43 VB n14_a_johnson_letter_42->n14_a_johnson_letter_43 n14_a_johnson_letter_43->n14_a_johnson_letter_44 n14_a_johnson_letter_45->n14_a_johnson_letter_46 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (ILYR (ILYR (MD;_cat_Vi_ can;{can})
                      (IP-INF-CAT (VB;_Ipr_ travel;{travel[to_and_from]})
                                  (PP-CLR (P-ROLE to_and_from;{to_and_from})
                                          (NP (N work;{work})))))
                (CONJP (CONJ but;{but})
                       (ILYR (MD;_cat_Vi_ should;{shall})
                             (IP-INF-CAT (VB;_I_ work;{work})
                                         (PP-NIM (P-ROLE from;{from})
                                                 (NP (N home;{home}))))
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (MD;_cat_Vi_ can;{can})
                                              (IP-INF-CAT (VB _*_)))))))
          (PUNC .))
  (ID 14_a_johnson_letter))