arc(r_0053_0002__mother, r_0053_0001__His, gen).
arc(r_0053_0003__put, r_0053_0002__mother, arg0).
arc(r_0053_0003__put, r_0053_0004__him, arg1).
arc(r_0053_0003__put, r_0053_0006__bed, r_0053_0005__to_clr20).
arc(r_0053_0008__and, r_0053_0003__put, conj1).
arc(r_0053_0008__and, r_0053_0009__made, conj2).
arc(r_0053_0009__made, r_0053_0002__mother, arg0).
arc(r_0053_0009__made, r_0053_0010__some_r_0053_0011__camomile_r_0053_0012__tea, arg1).
arc(r_0053_0014__and, r_0053_0008__and, conj1).
arc(r_0053_0014__and, r_0053_0016__gave, conj2).
arc(r_0053_0016__gave, r_0053_0002__mother, arg0).
arc(r_0053_0016__gave, r_0053_0017__a_r_0053_0018__dose, arg1).
arc(r_0053_0016__gave, r_0053_0022__Peter, arg2).
arc(r_0053_0017__a_r_0053_0018__dose, r_0053_0010__some_r_0053_0011__camomile_r_0053_0012__tea, r_0053_0019__of).

fof(formula,axiom,
    ? [R_0053_0001__HIS,R_0053_0002__MOTHER,R_0053_0004__HIM,R_0053_0006__BED,R_0053_0003__PUT,R_0053_0010__SOME_R_0053_0011__CAMOMILE_R_0053_0012__TEA,R_0053_0009__MADE,R_0053_0008__AND,R_0053_0017__A_R_0053_0018__DOSE,R_0053_0022__PETER,R_0053_0016__GAVE,R_0053_0014__AND] :
      ( r_0053_0001__His(R_0053_0001__HIS)
      & r_0053_0004__him(R_0053_0004__HIM)
      & r_0053_0006__bed(R_0053_0006__BED)
      & r_0053_0010__some_r_0053_0011__camomile_r_0053_0012__tea(R_0053_0010__SOME_R_0053_0011__CAMOMILE_R_0053_0012__TEA)
      & r_0053_0022__Peter(R_0053_0022__PETER)
      & r_0053_0014__and(R_0053_0014__AND)
      & has_conj2(R_0053_0014__AND,R_0053_0016__GAVE)
      & r_0053_0016__gave(R_0053_0016__GAVE)
      & has_arg2(R_0053_0016__GAVE,R_0053_0022__PETER)
      & has_arg1(R_0053_0016__GAVE,R_0053_0017__A_R_0053_0018__DOSE)
      & r_0053_0017__a_r_0053_0018__dose(R_0053_0017__A_R_0053_0018__DOSE)
      & has_r_0053_0019__of(R_0053_0017__A_R_0053_0018__DOSE,R_0053_0010__SOME_R_0053_0011__CAMOMILE_R_0053_0012__TEA)
      & has_arg0(R_0053_0016__GAVE,R_0053_0002__MOTHER)
      & r_0053_0002__mother(R_0053_0002__MOTHER)
      & has_gen(R_0053_0002__MOTHER,R_0053_0001__HIS)
      & has_conj1(R_0053_0014__AND,R_0053_0008__AND)
      & r_0053_0008__and(R_0053_0008__AND)
      & has_conj2(R_0053_0008__AND,R_0053_0009__MADE)
      & r_0053_0009__made(R_0053_0009__MADE)
      & has_arg1(R_0053_0009__MADE,R_0053_0010__SOME_R_0053_0011__CAMOMILE_R_0053_0012__TEA)
      & has_arg0(R_0053_0009__MADE,R_0053_0002__MOTHER)
      & has_conj1(R_0053_0008__AND,R_0053_0003__PUT)
      & r_0053_0003__put(R_0053_0003__PUT)
      & has_r_0053_0005__to_clr20(R_0053_0003__PUT,R_0053_0006__BED)
      & has_arg1(R_0053_0003__PUT,R_0053_0004__HIM)
      & has_arg0(R_0053_0003__PUT,R_0053_0002__MOTHER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MOTHER} (NP-GEN;{PETER} (PRO;_genm_ His;{his}))
                                       (N mother;{mother}))
                      (ILYR (ILYR (VBD;_Tn.pr_ put;{put[to]})
                                  (NP-OB1;{PETER} (PRO him;{he}))
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (N bed;{bed}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_Tn_ made;{make})
                                         (NP-OB1;{CAMOMILE_TEA} (D some;{some})
                                                                (N camomile;{camomile})
                                                                (N tea;{tea}))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{MOTHER} (PRO she;{she}))
                             (VBD;_Dn.pr_ gave;{give[to]})
                             (NP-OB1 (D a;{a})
                                     (N dose;{dose})
                                     (PP (P-ROLE of;{of})
                                         (NP;{CAMOMILE_TEA} (PRO it;{it}))))
                             (PP-OB2 (P-ROLE to;{to})
                                     (NP;{PETER} (NPR Peter;{Peter}))))))
          (PUNC !))
  (ID 53_a_potter_1902))