( (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}))))))
          (PUNC ,))
  (ID 138_a_joyce_1914))

arc(r_0138_0003__knows,r_0138_0002__God,arg0).
arc(r_0138_0003__knows,r_0138_0006__all__quant,arg1).
arc(r_0138_0005__done,r_0138_0004__we,arg0).
arc(r_0138_0005__done,z_0138_5006,arg1).
arc(r_0138_0006__all__quant,z_0138_5006,restriction).
arc(r_0138_0006__all__quant,z_0138_5009,scope).
arc(r_0138_0008__could,r_0138_0004__we,arg0).
arc(r_0138_0008__could,z_0138_5006,inv_arg1).
arc(z_0138_5009,r_0138_0005__done,scope).

fof(formula,axiom,
    ? [R_0138_0002__GOD,R_0138_0003__KNOWS] :
      ( r_0138_0002__God(R_0138_0002__GOD)
      & r_0138_0003__knows(R_0138_0003__KNOWS)
      & ! [Z_0138_5006,R_0138_0004__WE,R_0138_0008__COULD] :
          ( ( r_0138_0004__we(R_0138_0004__WE)
            & z_0138_5006(Z_0138_5006)
            & has_inv_arg1(Z_0138_5006,R_0138_0008__COULD)
            & r_0138_0008__could(R_0138_0008__COULD)
            & has_arg0(R_0138_0008__COULD,R_0138_0004__WE) )
         => ? [Z_0138_5009_R_0138_0005__DONE] :
              ( z_0138_5009_r_0138_0005__done(Z_0138_5009_R_0138_0005__DONE)
              & has_arg1(Z_0138_5009_R_0138_0005__DONE,Z_0138_5006)
              & has_arg0(Z_0138_5009_R_0138_0005__DONE,R_0138_0004__WE) ) )
      & has_arg0(R_0138_0003__KNOWS,R_0138_0002__GOD) ) ).