Context                Previous, Next                Top


139_a_joyce_1914
“God knows we done all we could,

%3 r_0139_0003__knows knows r_0139_0002__God God r_0139_0003__knows->r_0139_0002__God [arg0] z_000_139_a_joyce_1914_10 r_0139_0003__knows->z_000_139_a_joyce_1914_10 [arg1] r_0139_0006__all_quant all [quant] z_000_139_a_joyce_1914_10->r_0139_0006__all_quant [scope] r_0139_0005__done done r_0139_0004__we we r_0139_0005__done->r_0139_0004__we [arg0] z_000_139_a_joyce_1914_17 r_0139_0005__done->z_000_139_a_joyce_1914_17 [arg1] r_0139_0006__all_quant->r_0139_0005__done [scope] r_0139_0006__all_quant->z_000_139_a_joyce_1914_17 [restriction] r_0139_0008__could could r_0139_0008__could->z_000_139_a_joyce_1914_17 [arg1] r_0139_1001____star__ * r_0139_0008__could->r_0139_1001____star__ [scope] r_0139_1001____star__->z_000_139_a_joyce_1914_17 [arg0] 
arc(r_0139_0003__knows, r_0139_0002__God, arg0).
arc(r_0139_0003__knows, z_000_139_a_joyce_1914_10, arg1).
arc(r_0139_0005__done, r_0139_0004__we, arg0).
arc(r_0139_0005__done, z_000_139_a_joyce_1914_17, arg1).
arc(r_0139_0006__all_quant, r_0139_0005__done, scope).
arc(r_0139_0006__all_quant, z_000_139_a_joyce_1914_17, restriction).
arc(r_0139_0008__could, r_0139_1001____star__, scope).
arc(r_0139_0008__could, z_000_139_a_joyce_1914_17, arg1).
arc(r_0139_1001____star__, z_000_139_a_joyce_1914_17, arg0).
arc(z_000_139_a_joyce_1914_10, r_0139_0006__all_quant, scope).


%3 z_000_139_a_joyce_1914_10 r_0139_0006__all_quant all [quant] z_000_139_a_joyce_1914_10->r_0139_0006__all_quant [keep_scope] r_0139_0008__could_r_0139_1001____star__ could  * r_0139_0006__all_quant->r_0139_0008__could_r_0139_1001____star__ [restriction] r_0139_0005__done done r_0139_0006__all_quant->r_0139_0005__done [scope] z_000_139_a_joyce_1914_17 r_0139_0008__could_r_0139_1001____star__->z_000_139_a_joyce_1914_17 [arg0] r_0139_0008__could_r_0139_1001____star__->z_000_139_a_joyce_1914_17 [arg1] r_0139_0005__done->z_000_139_a_joyce_1914_17 [arg1] r_0139_0004__we we r_0139_0005__done->r_0139_0004__we [arg0] r_0139_0003__knows knows r_0139_0003__knows->z_000_139_a_joyce_1914_10 [arg1] r_0139_0002__God God r_0139_0003__knows->r_0139_0002__God [arg0] 
fof(formula,axiom,
    ? [R_139_3_KNOWS,R_139_2_GOD] :
      ( god(R_139_2_GOD)
      & knows(R_139_3_KNOWS,R_139_2_GOD,Z_139_A_JOYCE_1914_10)
      & ~ ! [R_139_8_COULD__STAR_,Z_139_A_JOYCE_1914_17] :
            ( could__star_(R_139_8_COULD__STAR_,Z_139_A_JOYCE_1914_17,Z_139_A_JOYCE_1914_17)
           => ? [R_139_5_DONE,R_139_4_WE] :
                ( we(R_139_4_WE)
                & done(R_139_5_DONE,R_139_4_WE,Z_139_A_JOYCE_1914_17) ) ) ) ).


n139_a_joyce_1914 n139_a_joyce_1914__1_1_1 <ldquo> n139_a_joyce_1914__1_2_1_1 God n139_a_joyce_1914__1_3_1 knows n139_a_joyce_1914__1_4_1_1_1_1 we n139_a_joyce_1914__1_4_1_2_1_1 done n139_a_joyce_1914__1_4_1_2_2_1_1 all n139_a_joyce_1914__1_4_1_2_2_2_1_1 *T* n139_a_joyce_1914__1_4_1_2_2_2_2_1_1 we n139_a_joyce_1914__1_4_1_2_2_2_3_1 could n139_a_joyce_1914__1_4_1_2_2_2_4_1_1 _*_ n139_a_joyce_1914__1_5_1 , n139_a_joyce_1914__1 IP-MAT n139_a_joyce_1914__1_1 PULQ n139_a_joyce_1914__1->n139_a_joyce_1914__1_1 n139_a_joyce_1914__1_2 NP-SBJ n139_a_joyce_1914__1->n139_a_joyce_1914__1_2 n139_a_joyce_1914__1_3 VBP;_Tf_ n139_a_joyce_1914__1->n139_a_joyce_1914__1_3 n139_a_joyce_1914__1_4 CP-THT-OB1 n139_a_joyce_1914__1->n139_a_joyce_1914__1_4 n139_a_joyce_1914__1_5 PUNC n139_a_joyce_1914__1->n139_a_joyce_1914__1_5 n139_a_joyce_1914__1_1->n139_a_joyce_1914__1_1_1 n139_a_joyce_1914__1_2_1 NPR n139_a_joyce_1914__1_2->n139_a_joyce_1914__1_2_1 n139_a_joyce_1914__1_2_1->n139_a_joyce_1914__1_2_1_1 n139_a_joyce_1914__1_3->n139_a_joyce_1914__1_3_1 n139_a_joyce_1914__1_4_1 IP-SUB n139_a_joyce_1914__1_4->n139_a_joyce_1914__1_4_1 n139_a_joyce_1914__1_4_1_1 NP-SBJ n139_a_joyce_1914__1_4_1->n139_a_joyce_1914__1_4_1_1 n139_a_joyce_1914__1_4_1_2 IP-PPL-CAT n139_a_joyce_1914__1_4_1->n139_a_joyce_1914__1_4_1_2 n139_a_joyce_1914__1_4_1_1_1 PRO n139_a_joyce_1914__1_4_1_1->n139_a_joyce_1914__1_4_1_1_1 n139_a_joyce_1914__1_4_1_1_1->n139_a_joyce_1914__1_4_1_1_1_1 n139_a_joyce_1914__1_4_1_2_1 DON;_Tn_ n139_a_joyce_1914__1_4_1_2->n139_a_joyce_1914__1_4_1_2_1 n139_a_joyce_1914__1_4_1_2_2 NP-OB1 n139_a_joyce_1914__1_4_1_2->n139_a_joyce_1914__1_4_1_2_2 n139_a_joyce_1914__1_4_1_2_1->n139_a_joyce_1914__1_4_1_2_1_1 n139_a_joyce_1914__1_4_1_2_2_1 Q;_nphd_ n139_a_joyce_1914__1_4_1_2_2->n139_a_joyce_1914__1_4_1_2_2_1 n139_a_joyce_1914__1_4_1_2_2_2 IP-REL n139_a_joyce_1914__1_4_1_2_2->n139_a_joyce_1914__1_4_1_2_2_2 n139_a_joyce_1914__1_4_1_2_2_1->n139_a_joyce_1914__1_4_1_2_2_1_1 n139_a_joyce_1914__1_4_1_2_2_2_1 NP-OB1 n139_a_joyce_1914__1_4_1_2_2_2->n139_a_joyce_1914__1_4_1_2_2_2_1 n139_a_joyce_1914__1_4_1_2_2_2_2 NP-SBJ n139_a_joyce_1914__1_4_1_2_2_2->n139_a_joyce_1914__1_4_1_2_2_2_2 n139_a_joyce_1914__1_4_1_2_2_2_3 MD;_cat_Vi_ n139_a_joyce_1914__1_4_1_2_2_2->n139_a_joyce_1914__1_4_1_2_2_2_3 n139_a_joyce_1914__1_4_1_2_2_2_4 IP-INF-CAT n139_a_joyce_1914__1_4_1_2_2_2->n139_a_joyce_1914__1_4_1_2_2_2_4 n139_a_joyce_1914__1_4_1_2_2_2_1->n139_a_joyce_1914__1_4_1_2_2_2_1_1 n139_a_joyce_1914__1_4_1_2_2_2_2_1 PRO n139_a_joyce_1914__1_4_1_2_2_2_2->n139_a_joyce_1914__1_4_1_2_2_2_2_1 n139_a_joyce_1914__1_4_1_2_2_2_2_1->n139_a_joyce_1914__1_4_1_2_2_2_2_1_1 n139_a_joyce_1914__1_4_1_2_2_2_3->n139_a_joyce_1914__1_4_1_2_2_2_3_1 n139_a_joyce_1914__1_4_1_2_2_2_4_1 VB n139_a_joyce_1914__1_4_1_2_2_2_4->n139_a_joyce_1914__1_4_1_2_2_2_4_1 n139_a_joyce_1914__1_4_1_2_2_2_4_1->n139_a_joyce_1914__1_4_1_2_2_2_4_1_1 n139_a_joyce_1914__1_5->n139_a_joyce_1914__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (NPR God;{God}))
          (VBP;_Tf_ knows;{know})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{SISTERS} (PRO we;{we}))
                              (IP-PPL-CAT (DON;_Tn_ done;{do})
                                          (NP-OB1 (Q;_nphd_ all;{all})
                                                  (IP-REL (NP-OB1 *T*)
                                                          (NP-SBJ;{SISTERS} (PRO we;{we}))
                                                          (MD;_cat_Vi_ could;{can})
                                                          (IP-INF-CAT (VB _*_)))))))
          (PUNC ,))
  (ID 139_a_joyce_1914))