( (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))

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,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_0187_0004__GRANDCHILDREN,R_0187_0002__LAYLOR] :
      ( ( r_0187_0002__Laylor(R_0187_0002__LAYLOR)
        & r_0187_0004__grandchildren(R_0187_0004__GRANDCHILDREN)
        & has_gen(R_0187_0004__GRANDCHILDREN,R_0187_0002__LAYLOR) )
     => ? [R_0187_0007__MY,R_0187_0008__NAME,R_0187_0005__WOULD_R_0187_0006__KNOW] :
          ( r_0187_0007__my(R_0187_0007__MY)
          & r_0187_0005__would_r_0187_0006__know(R_0187_0005__WOULD_R_0187_0006__KNOW)
          & has_arg1(R_0187_0005__WOULD_R_0187_0006__KNOW,R_0187_0008__NAME)
          & r_0187_0008__name(R_0187_0008__NAME)
          & has_gen(R_0187_0008__NAME,R_0187_0007__MY)
          & has_arg0(R_0187_0005__WOULD_R_0187_0006__KNOW,R_0187_0004__GRANDCHILDREN) ) ) ).