Context                Previous, Next                Top


187_a_loosechange
All Laylor's grandchildren would know my name.

%3 r_0187_0001__All_quant All [quant] r_0187_0004__grandchildren grandchildren r_0187_0001__All_quant->r_0187_0004__grandchildren [restriction] r_0187_0005__would would r_0187_0001__All_quant->r_0187_0005__would [scope] r_0187_0002__Laylor_r_0187_0003___apos_s Laylor 's r_0187_0004__grandchildren->r_0187_0002__Laylor_r_0187_0003___apos_s [gen] r_0187_0006__know know r_0187_0005__would->r_0187_0006__know [scope] r_0187_0006__know->r_0187_0004__grandchildren [arg0] r_0187_0008__name name r_0187_0006__know->r_0187_0008__name [arg1] r_0187_0007__my my r_0187_0008__name->r_0187_0007__my [gen] 
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).


%3 r_0187_0001__All_quant All [quant] r_0187_0004__grandchildren grandchildren r_0187_0001__All_quant->r_0187_0004__grandchildren [restriction] r_0187_0005__would_r_0187_0006__know would know r_0187_0001__All_quant->r_0187_0005__would_r_0187_0006__know [scope] r_0187_0002__Laylor_r_0187_0003___apos_s Laylor 's r_0187_0004__grandchildren->r_0187_0002__Laylor_r_0187_0003___apos_s [gen] r_0187_0005__would_r_0187_0006__know->r_0187_0004__grandchildren [arg0] r_0187_0008__name name r_0187_0005__would_r_0187_0006__know->r_0187_0008__name [arg1] r_0187_0007__my my 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) ) ) ).


n187_a_loosechange n187_a_loosechange_4 All n187_a_loosechange_7 Laylor n187_a_loosechange_9 's n187_a_loosechange_11 grandchildren n187_a_loosechange_13 would n187_a_loosechange_16 know n187_a_loosechange_20 my n187_a_loosechange_22 name n187_a_loosechange_24 . n187_a_loosechange_1 IP-MAT n187_a_loosechange_2 NP-SBJ n187_a_loosechange_1->n187_a_loosechange_2 n187_a_loosechange_12 MD;_cat_Vi_ n187_a_loosechange_1->n187_a_loosechange_12 n187_a_loosechange_14 IP-INF-CAT n187_a_loosechange_1->n187_a_loosechange_14 n187_a_loosechange_23 PUNC n187_a_loosechange_1->n187_a_loosechange_23 n187_a_loosechange_3 Q n187_a_loosechange_2->n187_a_loosechange_3 n187_a_loosechange_5 NP-GEN n187_a_loosechange_2->n187_a_loosechange_5 n187_a_loosechange_10 NS n187_a_loosechange_2->n187_a_loosechange_10 n187_a_loosechange_3->n187_a_loosechange_4 n187_a_loosechange_6 NPR n187_a_loosechange_5->n187_a_loosechange_6 n187_a_loosechange_8 GENM n187_a_loosechange_5->n187_a_loosechange_8 n187_a_loosechange_6->n187_a_loosechange_7 n187_a_loosechange_8->n187_a_loosechange_9 n187_a_loosechange_10->n187_a_loosechange_11 n187_a_loosechange_12->n187_a_loosechange_13 n187_a_loosechange_15 VB;__ n187_a_loosechange_14->n187_a_loosechange_15 n187_a_loosechange_17 NP-OB1 n187_a_loosechange_14->n187_a_loosechange_17 n187_a_loosechange_15->n187_a_loosechange_16 n187_a_loosechange_18 NP-GEN n187_a_loosechange_17->n187_a_loosechange_18 n187_a_loosechange_21 N n187_a_loosechange_17->n187_a_loosechange_21 n187_a_loosechange_19 PRO;_genm_ n187_a_loosechange_18->n187_a_loosechange_19 n187_a_loosechange_19->n187_a_loosechange_20 n187_a_loosechange_21->n187_a_loosechange_22 n187_a_loosechange_23->n187_a_loosechange_24 
( (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))