TSPC 247_a_dick

247_a_dick_1952
“If we expect to get there by nightfall we must go fast.”

( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
                           (VBP;_Tt_ expect;{expect})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Ip_ get;{get[there]})
                                       (ADVP-CLR (ADV there;{there}))
                                       (PP-NIM (P-ROLE by;{by})
                                               (NP (N nightfall;{nightfall}))))))
          (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Ip_ go;{go[fast]})
                      (ADVP-CLR (ADV fast;{fast})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 247_a_dick_1952))

arc(r_0247_0002__If,r_0247_0004__expect,restriction).
arc(r_0247_0002__If,r_0247_0011__must,scope).
arc(r_0247_0004__expect,r_0247_0003__we,arg0).
arc(r_0247_0004__expect,r_0247_0006__get_r_0247_0007__there,arg1).
arc(r_0247_0006__get_r_0247_0007__there,r_0247_0003__we,arg0).
arc(r_0247_0006__get_r_0247_0007__there,r_0247_0009__nightfall,r_0247_0008__by__nim).
arc(r_0247_0011__must,r_0247_0012__go_r_0247_0013__fast,scope).
arc(r_0247_0012__go_r_0247_0013__fast,r_0247_0003__we,arg0).

fof(formula,axiom,
    ! [R_0247_0004__EXPECT,R_0247_0003__WE,R_0247_0009__NIGHTFALL,R_0247_0006__GET_R_0247_0007__THERE] :
      ( ( r_0247_0003__we(R_0247_0003__WE)
        & r_0247_0009__nightfall(R_0247_0009__NIGHTFALL)
        & r_0247_0004__expect(R_0247_0004__EXPECT)
        & has_arg1(R_0247_0004__EXPECT,R_0247_0006__GET_R_0247_0007__THERE)
        & r_0247_0006__get_r_0247_0007__there(R_0247_0006__GET_R_0247_0007__THERE)
        & has_r_0247_0008__by__nim(R_0247_0006__GET_R_0247_0007__THERE,R_0247_0009__NIGHTFALL)
        & has_arg0(R_0247_0006__GET_R_0247_0007__THERE,R_0247_0003__WE)
        & has_arg0(R_0247_0004__EXPECT,R_0247_0003__WE) )
     => ? [R_0247_0011__MUST_R_0247_0012__GO_R_0247_0013__FAST] :
          ( r_0247_0011__must_r_0247_0012__go_r_0247_0013__fast(R_0247_0011__MUST_R_0247_0012__GO_R_0247_0013__FAST)
          & has_arg0(R_0247_0011__MUST_R_0247_0012__GO_R_0247_0013__FAST,R_0247_0003__WE) ) ) ).