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 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 [keep_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_0008__could_r_0139_1001____star__ could  * r_0139_0006__all_quant->r_0139_0008__could_r_0139_1001____star__ [restriction] 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] 
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_3 <ldquo> n139_a_joyce_1914_6 God n139_a_joyce_1914_8 knows n139_a_joyce_1914_13 we n139_a_joyce_1914_16 done n139_a_joyce_1914_19 all n139_a_joyce_1914_22 *T* n139_a_joyce_1914_25 we n139_a_joyce_1914_27 could n139_a_joyce_1914_30 _*_ n139_a_joyce_1914_32 , n139_a_joyce_1914_1 IP-MAT n139_a_joyce_1914_2 PULQ n139_a_joyce_1914_1->n139_a_joyce_1914_2 n139_a_joyce_1914_4 NP-SBJ n139_a_joyce_1914_1->n139_a_joyce_1914_4 n139_a_joyce_1914_7 VBP;_Tf_ n139_a_joyce_1914_1->n139_a_joyce_1914_7 n139_a_joyce_1914_9 CP-THT-OB1 n139_a_joyce_1914_1->n139_a_joyce_1914_9 n139_a_joyce_1914_31 PUNC n139_a_joyce_1914_1->n139_a_joyce_1914_31 n139_a_joyce_1914_2->n139_a_joyce_1914_3 n139_a_joyce_1914_5 NPR n139_a_joyce_1914_4->n139_a_joyce_1914_5 n139_a_joyce_1914_5->n139_a_joyce_1914_6 n139_a_joyce_1914_7->n139_a_joyce_1914_8 n139_a_joyce_1914_10 IP-SUB n139_a_joyce_1914_9->n139_a_joyce_1914_10 n139_a_joyce_1914_11 NP-SBJ n139_a_joyce_1914_10->n139_a_joyce_1914_11 n139_a_joyce_1914_14 IP-PPL-CAT n139_a_joyce_1914_10->n139_a_joyce_1914_14 n139_a_joyce_1914_12 PRO n139_a_joyce_1914_11->n139_a_joyce_1914_12 n139_a_joyce_1914_12->n139_a_joyce_1914_13 n139_a_joyce_1914_15 DON;_Tn_ n139_a_joyce_1914_14->n139_a_joyce_1914_15 n139_a_joyce_1914_17 NP-OB1 n139_a_joyce_1914_14->n139_a_joyce_1914_17 n139_a_joyce_1914_15->n139_a_joyce_1914_16 n139_a_joyce_1914_18 Q;_nphd_ n139_a_joyce_1914_17->n139_a_joyce_1914_18 n139_a_joyce_1914_20 IP-REL n139_a_joyce_1914_17->n139_a_joyce_1914_20 n139_a_joyce_1914_18->n139_a_joyce_1914_19 n139_a_joyce_1914_21 NP-OB1 n139_a_joyce_1914_20->n139_a_joyce_1914_21 n139_a_joyce_1914_23 NP-SBJ n139_a_joyce_1914_20->n139_a_joyce_1914_23 n139_a_joyce_1914_26 MD;_cat_Vi_ n139_a_joyce_1914_20->n139_a_joyce_1914_26 n139_a_joyce_1914_28 IP-INF-CAT n139_a_joyce_1914_20->n139_a_joyce_1914_28 n139_a_joyce_1914_21->n139_a_joyce_1914_22 n139_a_joyce_1914_24 PRO n139_a_joyce_1914_23->n139_a_joyce_1914_24 n139_a_joyce_1914_24->n139_a_joyce_1914_25 n139_a_joyce_1914_26->n139_a_joyce_1914_27 n139_a_joyce_1914_29 VB n139_a_joyce_1914_28->n139_a_joyce_1914_29 n139_a_joyce_1914_29->n139_a_joyce_1914_30 n139_a_joyce_1914_31->n139_a_joyce_1914_32 
( (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))