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_0013__can_r_0014_1001____star__ can  * r_0014_0001__You You r_0014_0013__can_r_0014_1001____star__->r_0014_0001__You [arg0] r_0014_0011__if if r_0014_0011__if->r_0014_0013__can_r_0014_1001____star__ [restriction] 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_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_0006__but but r_0014_0006__but->r_0014_0011__if [conj2] r_0014_0002__can_r_0014_0003__travel can travel r_0014_0006__but->r_0014_0002__can_r_0014_0003__travel [conj1] 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] 
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__1_1_1_1 You n14_a_johnson_letter__1_2_1_1_1 can n14_a_johnson_letter__1_2_1_2_1_1 travel n14_a_johnson_letter__1_2_1_2_2_1_1 to_and_from n14_a_johnson_letter__1_2_1_2_2_2_1_1 work n14_a_johnson_letter__1_2_2_1_1 but n14_a_johnson_letter__1_2_2_2_1_1 should n14_a_johnson_letter__1_2_2_2_2_1_1 work n14_a_johnson_letter__1_2_2_2_2_2_1_1 from n14_a_johnson_letter__1_2_2_2_2_2_2_1_1 home n14_a_johnson_letter__1_2_2_2_3_1_1 if n14_a_johnson_letter__1_2_2_2_3_2_1_1_1 you n14_a_johnson_letter__1_2_2_2_3_2_2_1 can n14_a_johnson_letter__1_2_2_2_3_2_3_1_1 _*_ n14_a_johnson_letter__1_3_1 . n14_a_johnson_letter__1 IP-MAT n14_a_johnson_letter__1_1 NP-SBJ n14_a_johnson_letter__1->n14_a_johnson_letter__1_1 n14_a_johnson_letter__1_2 ILYR n14_a_johnson_letter__1->n14_a_johnson_letter__1_2 n14_a_johnson_letter__1_3 PUNC n14_a_johnson_letter__1->n14_a_johnson_letter__1_3 n14_a_johnson_letter__1_1_1 PRO n14_a_johnson_letter__1_1->n14_a_johnson_letter__1_1_1 n14_a_johnson_letter__1_1_1->n14_a_johnson_letter__1_1_1_1 n14_a_johnson_letter__1_2_1 ILYR n14_a_johnson_letter__1_2->n14_a_johnson_letter__1_2_1 n14_a_johnson_letter__1_2_2 CONJP n14_a_johnson_letter__1_2->n14_a_johnson_letter__1_2_2 n14_a_johnson_letter__1_2_1_1 MD;_cat_Vi_ n14_a_johnson_letter__1_2_1->n14_a_johnson_letter__1_2_1_1 n14_a_johnson_letter__1_2_1_2 IP-INF-CAT n14_a_johnson_letter__1_2_1->n14_a_johnson_letter__1_2_1_2 n14_a_johnson_letter__1_2_1_1->n14_a_johnson_letter__1_2_1_1_1 n14_a_johnson_letter__1_2_1_2_1 VB;_Ipr_ n14_a_johnson_letter__1_2_1_2->n14_a_johnson_letter__1_2_1_2_1 n14_a_johnson_letter__1_2_1_2_2 PP-CLR n14_a_johnson_letter__1_2_1_2->n14_a_johnson_letter__1_2_1_2_2 n14_a_johnson_letter__1_2_1_2_1->n14_a_johnson_letter__1_2_1_2_1_1 n14_a_johnson_letter__1_2_1_2_2_1 P-ROLE n14_a_johnson_letter__1_2_1_2_2->n14_a_johnson_letter__1_2_1_2_2_1 n14_a_johnson_letter__1_2_1_2_2_2 NP n14_a_johnson_letter__1_2_1_2_2->n14_a_johnson_letter__1_2_1_2_2_2 n14_a_johnson_letter__1_2_1_2_2_1->n14_a_johnson_letter__1_2_1_2_2_1_1 n14_a_johnson_letter__1_2_1_2_2_2_1 N n14_a_johnson_letter__1_2_1_2_2_2->n14_a_johnson_letter__1_2_1_2_2_2_1 n14_a_johnson_letter__1_2_1_2_2_2_1->n14_a_johnson_letter__1_2_1_2_2_2_1_1 n14_a_johnson_letter__1_2_2_1 CONJ n14_a_johnson_letter__1_2_2->n14_a_johnson_letter__1_2_2_1 n14_a_johnson_letter__1_2_2_2 ILYR n14_a_johnson_letter__1_2_2->n14_a_johnson_letter__1_2_2_2 n14_a_johnson_letter__1_2_2_1->n14_a_johnson_letter__1_2_2_1_1 n14_a_johnson_letter__1_2_2_2_1 MD;_cat_Vi_ n14_a_johnson_letter__1_2_2_2->n14_a_johnson_letter__1_2_2_2_1 n14_a_johnson_letter__1_2_2_2_2 IP-INF-CAT n14_a_johnson_letter__1_2_2_2->n14_a_johnson_letter__1_2_2_2_2 n14_a_johnson_letter__1_2_2_2_3 PP-SCON n14_a_johnson_letter__1_2_2_2->n14_a_johnson_letter__1_2_2_2_3 n14_a_johnson_letter__1_2_2_2_1->n14_a_johnson_letter__1_2_2_2_1_1 n14_a_johnson_letter__1_2_2_2_2_1 VB;_I_ n14_a_johnson_letter__1_2_2_2_2->n14_a_johnson_letter__1_2_2_2_2_1 n14_a_johnson_letter__1_2_2_2_2_2 PP-NIM n14_a_johnson_letter__1_2_2_2_2->n14_a_johnson_letter__1_2_2_2_2_2 n14_a_johnson_letter__1_2_2_2_2_1->n14_a_johnson_letter__1_2_2_2_2_1_1 n14_a_johnson_letter__1_2_2_2_2_2_1 P-ROLE n14_a_johnson_letter__1_2_2_2_2_2->n14_a_johnson_letter__1_2_2_2_2_2_1 n14_a_johnson_letter__1_2_2_2_2_2_2 NP n14_a_johnson_letter__1_2_2_2_2_2->n14_a_johnson_letter__1_2_2_2_2_2_2 n14_a_johnson_letter__1_2_2_2_2_2_1->n14_a_johnson_letter__1_2_2_2_2_2_1_1 n14_a_johnson_letter__1_2_2_2_2_2_2_1 N n14_a_johnson_letter__1_2_2_2_2_2_2->n14_a_johnson_letter__1_2_2_2_2_2_2_1 n14_a_johnson_letter__1_2_2_2_2_2_2_1->n14_a_johnson_letter__1_2_2_2_2_2_2_1_1 n14_a_johnson_letter__1_2_2_2_3_1 P-CONN n14_a_johnson_letter__1_2_2_2_3->n14_a_johnson_letter__1_2_2_2_3_1 n14_a_johnson_letter__1_2_2_2_3_2 IP-ADV n14_a_johnson_letter__1_2_2_2_3->n14_a_johnson_letter__1_2_2_2_3_2 n14_a_johnson_letter__1_2_2_2_3_1->n14_a_johnson_letter__1_2_2_2_3_1_1 n14_a_johnson_letter__1_2_2_2_3_2_1 NP-SBJ n14_a_johnson_letter__1_2_2_2_3_2->n14_a_johnson_letter__1_2_2_2_3_2_1 n14_a_johnson_letter__1_2_2_2_3_2_2 MD;_cat_Vi_ n14_a_johnson_letter__1_2_2_2_3_2->n14_a_johnson_letter__1_2_2_2_3_2_2 n14_a_johnson_letter__1_2_2_2_3_2_3 IP-INF-CAT n14_a_johnson_letter__1_2_2_2_3_2->n14_a_johnson_letter__1_2_2_2_3_2_3 n14_a_johnson_letter__1_2_2_2_3_2_1_1 PRO n14_a_johnson_letter__1_2_2_2_3_2_1->n14_a_johnson_letter__1_2_2_2_3_2_1_1 n14_a_johnson_letter__1_2_2_2_3_2_1_1->n14_a_johnson_letter__1_2_2_2_3_2_1_1_1 n14_a_johnson_letter__1_2_2_2_3_2_2->n14_a_johnson_letter__1_2_2_2_3_2_2_1 n14_a_johnson_letter__1_2_2_2_3_2_3_1 VB n14_a_johnson_letter__1_2_2_2_3_2_3->n14_a_johnson_letter__1_2_2_2_3_2_3_1 n14_a_johnson_letter__1_2_2_2_3_2_3_1->n14_a_johnson_letter__1_2_2_2_3_2_3_1_1 n14_a_johnson_letter__1_3->n14_a_johnson_letter__1_3_1 
( (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))