TSPC 14_a_johnson

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

( (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}))))))
          (PUNC .))
  (ID 14_a_johnson_letter))

arc(r_0014_0002__can,r_0014_0003__travel_r_0014_0004__to_and_from,scope).
arc(r_0014_0003__travel_r_0014_0004__to_and_from,r_0014_0001__You,arg0).
arc(r_0014_0003__travel_r_0014_0004__to_and_from,r_0014_0005__work,arg1).
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__nim).
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_0001__You,arg0).

fof(formula,axiom,
    ? [R_0014_0001__YOU,R_0014_0005__WORK,R_0014_0002__CAN_R_0014_0003__TRAVEL_R_0014_0004__TO_AND_FROM,R_0014_0006__BUT] :
      ( r_0014_0001__You(R_0014_0001__YOU)
      & r_0014_0005__work(R_0014_0005__WORK)
      & r_0014_0006__but(R_0014_0006__BUT)
      & ! [R_0014_0013__CAN] :
          ( ( r_0014_0013__can(R_0014_0013__CAN)
            & has_arg0(R_0014_0013__CAN,R_0014_0001__YOU) )
         => ? [R_0014_0010__HOME,R_0014_0007__SHOULD_R_0014_0008__WORK] :
              ( r_0014_0010__home(R_0014_0010__HOME)
              & r_0014_0007__should_r_0014_0008__work(R_0014_0007__SHOULD_R_0014_0008__WORK)
              & has_r_0014_0009__from__nim(R_0014_0007__SHOULD_R_0014_0008__WORK,R_0014_0010__HOME)
              & has_arg0(R_0014_0007__SHOULD_R_0014_0008__WORK,R_0014_0001__YOU) ) )
      & has_conj1(R_0014_0006__BUT,R_0014_0002__CAN_R_0014_0003__TRAVEL_R_0014_0004__TO_AND_FROM)
      & r_0014_0002__can_r_0014_0003__travel_r_0014_0004__to_and_from(R_0014_0002__CAN_R_0014_0003__TRAVEL_R_0014_0004__TO_AND_FROM)
      & has_arg1(R_0014_0002__CAN_R_0014_0003__TRAVEL_R_0014_0004__TO_AND_FROM,R_0014_0005__WORK)
      & has_arg0(R_0014_0002__CAN_R_0014_0003__TRAVEL_R_0014_0004__TO_AND_FROM,R_0014_0001__YOU) ) ).