arc(r_0029_0002__must, r_0029_0003__learn, scope).
arc(r_0029_0003__learn, r_0029_0001__He, arg0).
arc(r_0029_0003__learn, r_0029_0004__that_r_0029_0006__could, arg1).
arc(r_0029_0003__learn, r_0029_0007__not, arg1).
arc(r_0029_0004__that_r_0029_0006__could, z_000_29_a_lob_n02_43, scope).
arc(r_0029_0007__not, r_0029_0004__that_r_0029_0006__could, keep_scope).
arc(r_0029_0008__treat, r_0029_0001__He, arg0).
arc(r_0029_0008__treat, r_0029_0009__her, arg1).
arc(r_0029_0008__treat, r_0029_0012__and, r_0029_0010__with_clr30).
arc(r_0029_0012__and, r_0029_0011__injustice, conj1).
arc(r_0029_0012__and, r_0029_0013__contempt, conj2).
arc(r_0029_0015__ignoring, r_0029_0001__He, arg0).
arc(r_0029_0015__ignoring, r_0029_0017__explanations, arg1).
arc(r_0029_0017__explanations, r_0029_0016__her, gen).
arc(r_0029_0018__as_though, r_0029_0015__ignoring, scope).
arc(r_0029_0018__as_though, r_0029_0023__and, restriction).
arc(r_0029_0020__were, r_0029_0001__He, arg0).
arc(r_0029_0020__were, r_0029_0021__a_r_0029_0022__schoolmaster, prd).
arc(r_0029_0023__and, r_0029_0020__were, conj1).
arc(r_0029_0023__and, z_000_29_a_lob_n02_72, conj2).
arc(r_0029_0025__a_r_0029_0029__child, r_0029_0026__small, attrib79).
arc(r_0029_0025__a_r_0029_0029__child, r_0029_0028__ignorant, attrib84).
arc(z_000_29_a_lob_n02_43, r_0029_0008__treat, scope).
arc(z_000_29_a_lob_n02_43, r_0029_0018__as_though, restriction).
arc(z_000_29_a_lob_n02_72, r_0029_0024__she, arg0).
arc(z_000_29_a_lob_n02_72, r_0029_0025__a_r_0029_0029__child, prd).

fof(formula,axiom,
    ? [R_0029_0001__HE,R_0029_0009__HER,R_0029_0011__INJUSTICE,R_0029_0013__CONTEMPT,R_0029_0012__AND,R_0029_0008__TREAT,R_0029_0016__HER,R_0029_0017__EXPLANATIONS,R_0029_0015__IGNORING,R_0029_0021__A_R_0029_0022__SCHOOLMASTER,R_0029_0020__WERE,R_0029_0024__SHE,R_0029_0026__SMALL,R_0029_0028__IGNORANT,R_0029_0025__A_R_0029_0029__CHILD,Z_000_29_A_LOB_N02_72,R_0029_0023__AND,R_0029_0018__AS_THOUGH,Z_000_29_A_LOB_N02_43,R_0029_0004__THAT_R_0029_0006__COULD,R_0029_0002__MUST_R_0029_0003__LEARN] :
      ( r_0029_0001__He(R_0029_0001__HE)
      & r_0029_0009__her(R_0029_0009__HER)
      & r_0029_0011__injustice(R_0029_0011__INJUSTICE)
      & r_0029_0013__contempt(R_0029_0013__CONTEMPT)
      & r_0029_0016__her(R_0029_0016__HER)
      & r_0029_0021__a_r_0029_0022__schoolmaster(R_0029_0021__A_R_0029_0022__SCHOOLMASTER)
      & r_0029_0024__she(R_0029_0024__SHE)
      & r_0029_0026__small(R_0029_0026__SMALL)
      & r_0029_0028__ignorant(R_0029_0028__IGNORANT)
      & r_0029_0002__must_r_0029_0003__learn(R_0029_0002__MUST_R_0029_0003__LEARN)
      & has_arg1(R_0029_0002__MUST_R_0029_0003__LEARN,R_0029_0007__NOT)
      & ~ r_0029_0004__that_r_0029_0006__could(R_0029_0004__THAT_R_0029_0006__COULD)
      & has_arg1(R_0029_0002__MUST_R_0029_0003__LEARN,R_0029_0004__THAT_R_0029_0006__COULD)
      & r_0029_0004__that_r_0029_0006__could(R_0029_0004__THAT_R_0029_0006__COULD)
      & has_keep_scope(R_0029_0004__THAT_R_0029_0006__COULD,Z_000_29_A_LOB_N02_43)
      & z_000_29_a_lob_n02_43(Z_000_29_A_LOB_N02_43)
      & has_conj1(Z_000_29_A_LOB_N02_43,R_0029_0018__AS_THOUGH)
      & r_0029_0018__as_though(R_0029_0018__AS_THOUGH)
      & has_conj1(R_0029_0018__AS_THOUGH,R_0029_0023__AND)
      & r_0029_0023__and(R_0029_0023__AND)
      & has_conj2(R_0029_0023__AND,Z_000_29_A_LOB_N02_72)
      & z_000_29_a_lob_n02_72(Z_000_29_A_LOB_N02_72)
      & has_prd(Z_000_29_A_LOB_N02_72,R_0029_0025__A_R_0029_0029__CHILD)
      & r_0029_0025__a_r_0029_0029__child(R_0029_0025__A_R_0029_0029__CHILD)
      & has_attrib84(R_0029_0025__A_R_0029_0029__CHILD,R_0029_0028__IGNORANT)
      & has_attrib79(R_0029_0025__A_R_0029_0029__CHILD,R_0029_0026__SMALL)
      & has_arg0(Z_000_29_A_LOB_N02_72,R_0029_0024__SHE)
      & has_conj1(R_0029_0023__AND,R_0029_0020__WERE)
      & r_0029_0020__were(R_0029_0020__WERE)
      & has_prd(R_0029_0020__WERE,R_0029_0021__A_R_0029_0022__SCHOOLMASTER)
      & has_arg0(R_0029_0020__WERE,R_0029_0001__HE)
      & has_conj2(R_0029_0018__AS_THOUGH,R_0029_0015__IGNORING)
      & r_0029_0015__ignoring(R_0029_0015__IGNORING)
      & has_arg1(R_0029_0015__IGNORING,R_0029_0017__EXPLANATIONS)
      & r_0029_0017__explanations(R_0029_0017__EXPLANATIONS)
      & has_gen(R_0029_0017__EXPLANATIONS,R_0029_0016__HER)
      & has_arg0(R_0029_0015__IGNORING,R_0029_0001__HE)
      & has_conj2(Z_000_29_A_LOB_N02_43,R_0029_0008__TREAT)
      & r_0029_0008__treat(R_0029_0008__TREAT)
      & has_r_0029_0010__with_clr30(R_0029_0008__TREAT,R_0029_0012__AND)
      & r_0029_0012__and(R_0029_0012__AND)
      & has_conj2(R_0029_0012__AND,R_0029_0013__CONTEMPT)
      & has_conj1(R_0029_0012__AND,R_0029_0011__INJUSTICE)
      & has_arg1(R_0029_0008__TREAT,R_0029_0009__HER)
      & has_arg0(R_0029_0008__TREAT,R_0029_0001__HE)
      & has_arg0(R_0029_0002__MUST_R_0029_0003__LEARN,R_0029_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{PIERS} (PRO He;{he}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Tf_ learn;{learn})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{PIERS} (PRO he;{he}))
                                          (MD;_cat_Vi_ could;{can})
                                          (NEG not;{not})
                                          (IP-INF-CAT (VB;_Tn.pr_ treat;{treat[with]})
                                                      (NP-OB1;{BERYL} (PRO her;{her}))
                                                      (PP-CLR (P-ROLE with;{with})
                                                              (NP (NLYR (NLYR (N injustice;{injustice}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (N contempt;{contempt}))))))
                                                      (PUNC ,)
                                                      (PP-SCON (IP-PPL2 (VAG;_Tn_ ignoring;{ignore})
                                                                        (NP-OB1 (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                                                (NS explanations;{explanation}))
                                                                        (PP-SCON (P-CONN as_though;{as_though})
                                                                                 (IP-ADV (ILYR (ILYR (NP-SBJ;{PIERS} (PRO he;{he}))
                                                                                                     (BED;_Ln_ were;{be})
                                                                                                     (NP-PRD (D a;{a})
                                                                                                             (N schoolmaster;{schoolmaster})))
                                                                                               (CONJP (CONJ and;{and})
                                                                                                      (ILYR (NP-SBJ;{BERYL} (PRO she;{she}))
                                                                                                            (NP-PRD (D a;{a})
                                                                                                                    (ADJP (ADJ small;{small}))
                                                                                                                    (PUNC ,)
                                                                                                                    (ADJP (ADJ ignorant;{ignorant}))
                                                                                                                    (N child;{child})))))))))))))
          (PUNC .))
  (ID 29_a_lob_n02))