arc(r_0187_0001__All_quant, r_0187_0004__grandchildren, restriction).
arc(r_0187_0001__All_quant, r_0187_0005__would, scope).
arc(r_0187_0004__grandchildren, r_0187_0002__Laylor_r_0187_0003___apos_s, gen).
arc(r_0187_0005__would, r_0187_0006__know, scope).
arc(r_0187_0006__know, r_0187_0004__grandchildren, arg0).
arc(r_0187_0006__know, r_0187_0008__name, arg1).
arc(r_0187_0008__name, r_0187_0007__my, gen).

fof(formula,axiom,
    ! [R_187_4_GRANDCHILDREN,R_187_2_LAYLOR_APOS_S] :
      ( ( laylor_apos_s(R_187_2_LAYLOR_APOS_S)
        & grandchildren(R_187_4_GRANDCHILDREN)
        & gen(R_187_4_GRANDCHILDREN,R_187_2_LAYLOR_APOS_S) )
     => ? [R_187_5_WOULD_KNOW,R_187_8_NAME,R_187_7_MY] :
          ( my(R_187_7_MY)
          & would_know(R_187_5_WOULD_KNOW,R_187_4_GRANDCHILDREN,R_187_8_NAME)
          & name(R_187_8_NAME)
          & gen(R_187_8_NAME,R_187_7_MY) ) ) ).

( (IP-MAT (NP-SBJ (Q All;{all})
                  (NP-GEN;{LAYLOR} (NPR Laylor;{Laylor})
                                   (GENM <apos>s))
                  (NS grandchildren;{grandchild}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;__ know;{know})
                      (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                              (N name;{name})))
          (PUNC .))
  (ID 187_a_loosechange))