TSPC 51_a_potter

51_a_potter_1902
It was the second little jacket and pair of shoes that Peter had lost in a fortnight!

arc(r_0051_0002__was, r_0051_0007__and, arg0).
arc(r_0051_0002__was, r_0051_0011__that_r_0051_0013__had, prd).
arc(r_0051_0006__jacket, r_0051_0005__little, attrib15).
arc(r_0051_0007__and, r_0051_0004__second, attrib10).
arc(r_0051_0007__and, r_0051_0006__jacket, conj1).
arc(r_0051_0007__and, r_0051_0008__pair, conj2).
arc(r_0051_0008__pair, r_0051_0010__shoes, r_0051_0009__of).
arc(r_0051_0011__that_r_0051_0013__had, r_0051_0014__lost, scope).
arc(r_0051_0014__lost, r_0051_0012__Peter, arg0).
arc(r_0051_0014__lost, r_0051_0016__a_r_0051_0017__fortnight, r_0051_0015__in_nim48).
arc(r_0051_0014__lost, x_000_51_a_potter_1902_32, arg1).

fof(formula,axiom,
    ? [R_51_2_WAS,R_51_7_AND,R_51_4_SECOND,R_51_6_JACKET,R_51_5_LITTLE,R_51_8_PAIR,R_51_10_SHOES,R_51_11_THAT_HAD_LOST,R_51_12_PETER,X_51_A_POTTER_1902_32,R_51_16_A_FORTNIGHT] :
      ( second(R_51_4_SECOND)
      & little(R_51_5_LITTLE)
      & shoes(R_51_10_SHOES)
      & peter(R_51_12_PETER)
      & a_fortnight(R_51_16_A_FORTNIGHT)
      & was(R_51_2_WAS,R_51_7_AND,R_51_11_THAT_HAD_LOST)
      & and(R_51_7_AND)
      & attrib10(R_51_7_AND,R_51_4_SECOND)
      & conj1(R_51_7_AND,R_51_6_JACKET)
      & jacket(R_51_6_JACKET)
      & attrib15(R_51_6_JACKET,R_51_5_LITTLE)
      & conj2(R_51_7_AND,R_51_8_PAIR)
      & pair(R_51_8_PAIR)
      & of(R_51_8_PAIR,R_51_10_SHOES)
      & that_had_lost(R_51_11_THAT_HAD_LOST,R_51_12_PETER,X_51_A_POTTER_1902_32)
      & in_nim48(R_51_11_THAT_HAD_LOST,R_51_16_A_FORTNIGHT) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_cleft_Vn_ was;{be})
          (NP-FOC (D the;{the})
                  (ADJP (ADJ second;{second}))
                  (NLYR (NLYR (ADJP (ADJ little;{little}))
                              (N jacket;{jacket}))
                        (CONJP (CONJ and;{and})
                               (NLYR (N pair;{pair})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS shoes;{shoe})))))))
          (IP-CLF (C that;{that})
                  (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                  (HVD;_cat_Ve_ had;{have})
                  (IP-PPL-CAT (NP-OB1 *T*)
                              (VVN;_Tn_ lost;{lose})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (D a;{a})
                                          (N fortnight;{fortnight})))))
          (PUNC !))
  (ID 51_a_potter_1902))