450_a_dick_1952
“I think we can get through.

n450_a_dick_1952 n450_a_dick_1952__1_1_1 <ldquo> n450_a_dick_1952__1_2_1_1 I n450_a_dick_1952__1_3_1 think n450_a_dick_1952__1_4_1_1_1_1 we n450_a_dick_1952__1_4_1_2_1 can n450_a_dick_1952__1_4_1_3_1_1 get n450_a_dick_1952__1_4_1_3_2_1 through n450_a_dick_1952__1_5_1 . n450_a_dick_1952__1 IP-MAT n450_a_dick_1952__1_1 PULQ n450_a_dick_1952__1->n450_a_dick_1952__1_1 n450_a_dick_1952__1_2 NP-SBJ n450_a_dick_1952__1->n450_a_dick_1952__1_2 n450_a_dick_1952__1_3 VBP;_Tf_ n450_a_dick_1952__1->n450_a_dick_1952__1_3 n450_a_dick_1952__1_4 CP-THT-OB1 n450_a_dick_1952__1->n450_a_dick_1952__1_4 n450_a_dick_1952__1_5 PUNC n450_a_dick_1952__1->n450_a_dick_1952__1_5 n450_a_dick_1952__1_1->n450_a_dick_1952__1_1_1 n450_a_dick_1952__1_2_1 PRO n450_a_dick_1952__1_2->n450_a_dick_1952__1_2_1 n450_a_dick_1952__1_2_1->n450_a_dick_1952__1_2_1_1 n450_a_dick_1952__1_3->n450_a_dick_1952__1_3_1 n450_a_dick_1952__1_4_1 IP-SUB n450_a_dick_1952__1_4->n450_a_dick_1952__1_4_1 n450_a_dick_1952__1_4_1_1 NP-SBJ n450_a_dick_1952__1_4_1->n450_a_dick_1952__1_4_1_1 n450_a_dick_1952__1_4_1_2 MD;_cat_Vi_ n450_a_dick_1952__1_4_1->n450_a_dick_1952__1_4_1_2 n450_a_dick_1952__1_4_1_3 IP-INF-CAT n450_a_dick_1952__1_4_1->n450_a_dick_1952__1_4_1_3 n450_a_dick_1952__1_4_1_1_1 PRO n450_a_dick_1952__1_4_1_1->n450_a_dick_1952__1_4_1_1_1 n450_a_dick_1952__1_4_1_1_1->n450_a_dick_1952__1_4_1_1_1_1 n450_a_dick_1952__1_4_1_2->n450_a_dick_1952__1_4_1_2_1 n450_a_dick_1952__1_4_1_3_1 VB;_Ip_ n450_a_dick_1952__1_4_1_3->n450_a_dick_1952__1_4_1_3_1 n450_a_dick_1952__1_4_1_3_2 RP n450_a_dick_1952__1_4_1_3->n450_a_dick_1952__1_4_1_3_2 n450_a_dick_1952__1_4_1_3_1->n450_a_dick_1952__1_4_1_3_1_1 n450_a_dick_1952__1_4_1_3_2->n450_a_dick_1952__1_4_1_3_2_1 n450_a_dick_1952__1_5->n450_a_dick_1952__1_5_1
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
                              (MD;_cat_Vi_ can;{can})
                              (IP-INF-CAT (VB;_Ip_ get;{get[through]})
                                          (RP through;{through}))))
          (PUNC .))
  (ID 450_a_dick_1952))



%3 r_0450_0006__get_r_0450_0007__through get through r_0450_0004__we we r_0450_0006__get_r_0450_0007__through->r_0450_0004__we [arg0] r_0450_0005__can can r_0450_0005__can->r_0450_0006__get_r_0450_0007__through [scope] r_0450_0003__think think r_0450_0003__think->r_0450_0005__can [arg1] r_0450_0002__I I r_0450_0003__think->r_0450_0002__I [arg0]
arc(r_0450_0003__think,r_0450_0002__I,arg0).
arc(r_0450_0003__think,r_0450_0005__can,arg1).
arc(r_0450_0005__can,r_0450_0006__get_r_0450_0007__through,scope).
arc(r_0450_0006__get_r_0450_0007__through,r_0450_0004__we,arg0).



%3 r_0450_0003__think think r_0450_0002__I I r_0450_0003__think->r_0450_0002__I [arg0] r_0450_0005__can_r_0450_0006__get_r_0450_0007__through can get through r_0450_0003__think->r_0450_0005__can_r_0450_0006__get_r_0450_0007__through [arg1] r_0450_0004__we we r_0450_0005__can_r_0450_0006__get_r_0450_0007__through->r_0450_0004__we [arg0]
fof(formula,axiom,
    ? [R_0450_0002__I,R_0450_0004__WE,R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH,R_0450_0003__THINK] :
      ( r_0450_0002__I(R_0450_0002__I)
      & r_0450_0004__we(R_0450_0004__WE)
      & r_0450_0003__think(R_0450_0003__THINK)
      & has_arg1(R_0450_0003__THINK,R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH)
      & r_0450_0005__can_r_0450_0006__get_r_0450_0007__through(R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH)
      & has_arg0(R_0450_0005__CAN_R_0450_0006__GET_R_0450_0007__THROUGH,R_0450_0004__WE)
      & has_arg0(R_0450_0003__THINK,R_0450_0002__I) ) ).