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_0051_0004__SECOND,R_0051_0005__LITTLE,R_0051_0006__JACKET,R_0051_0010__SHOES,R_0051_0008__PAIR,R_0051_0007__AND,R_0051_0012__PETER,R_0051_0016__A_R_0051_0017__FORTNIGHT,X_000_51_A_POTTER_1902_32,R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST,R_0051_0002__WAS] :
      ( r_0051_0004__second(R_0051_0004__SECOND)
      & r_0051_0005__little(R_0051_0005__LITTLE)
      & r_0051_0010__shoes(R_0051_0010__SHOES)
      & r_0051_0012__Peter(R_0051_0012__PETER)
      & r_0051_0016__a_r_0051_0017__fortnight(R_0051_0016__A_R_0051_0017__FORTNIGHT)
      & x_000_51_a_potter_1902_32(X_000_51_A_POTTER_1902_32)
      & r_0051_0002__was(R_0051_0002__WAS)
      & has_prd(R_0051_0002__WAS,R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST)
      & r_0051_0011__that_r_0051_0013__had_r_0051_0014__lost(R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST)
      & has_arg1(R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST,X_000_51_A_POTTER_1902_32)
      & has_r_0051_0015__in_nim48(R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST,R_0051_0016__A_R_0051_0017__FORTNIGHT)
      & has_arg0(R_0051_0011__THAT_R_0051_0013__HAD_R_0051_0014__LOST,R_0051_0012__PETER)
      & has_arg0(R_0051_0002__WAS,R_0051_0007__AND)
      & r_0051_0007__and(R_0051_0007__AND)
      & has_conj2(R_0051_0007__AND,R_0051_0008__PAIR)
      & r_0051_0008__pair(R_0051_0008__PAIR)
      & has_r_0051_0009__of(R_0051_0008__PAIR,R_0051_0010__SHOES)
      & has_conj1(R_0051_0007__AND,R_0051_0006__JACKET)
      & r_0051_0006__jacket(R_0051_0006__JACKET)
      & has_attrib15(R_0051_0006__JACKET,R_0051_0005__LITTLE)
      & has_attrib10(R_0051_0007__AND,R_0051_0004__SECOND) ) ).

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