arc(r_0093_0002__remembered, r_0093_0001__Geoffrey, arg0).
arc(r_0093_0002__remembered, r_0093_0003__that_r_0093_0013__had, arg1).
arc(r_0093_0003__that_r_0093_0013__had, r_0093_0015__stated, scope).
arc(r_0093_0004__a_r_0093_0006__field_r_0093_0007__marshal, r_0093_0005__famous, attrib14).
arc(r_0093_0009__inclined, r_0093_0004__a_r_0093_0006__field_r_0093_0007__marshal, arg2).
arc(r_0093_0009__inclined, r_0093_0010__to_r_0093_0011__pontificate, arg1).
arc(r_0093_0009__inclined, z_000_93_a_lob_n01_24, arg0).
arc(r_0093_0010__to_r_0093_0011__pontificate, r_0093_0004__a_r_0093_0006__field_r_0093_0007__marshal, arg0).
arc(r_0093_0015__stated, r_0093_0004__a_r_0093_0006__field_r_0093_0007__marshal, arg0).
arc(r_0093_0015__stated, r_0093_0014__once, nim38).
arc(r_0093_0015__stated, r_0093_0016__that_r_0093_0020__reflected, arg1).
arc(r_0093_0016__that_r_0093_0020__reflected, r_0093_0017__a_r_0093_0018__headquarters_r_0093_0019__staff, arg0).
arc(r_0093_0016__that_r_0093_0020__reflected, r_0093_0021__the_r_0093_0022__quality, arg1).
arc(r_0093_0021__the_r_0093_0022__quality, r_0093_0025__commander, r_0093_0023__of).
arc(r_0093_0025__commander, r_0093_0024__its, gen).

fof(formula,axiom,
    ? [R_0093_0001__GEOFFREY,R_0093_0005__FAMOUS,R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL,R_0093_0014__ONCE,R_0093_0017__A_R_0093_0018__HEADQUARTERS_R_0093_0019__STAFF,R_0093_0024__ITS,R_0093_0025__COMMANDER,R_0093_0021__THE_R_0093_0022__QUALITY,R_0093_0016__THAT_R_0093_0020__REFLECTED,R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED,R_0093_0002__REMEMBERED,R_0093_0010__TO_R_0093_0011__PONTIFICATE,Z_000_93_A_LOB_N01_24,R_0093_0009__INCLINED] :
      ( r_0093_0001__Geoffrey(R_0093_0001__GEOFFREY)
      & r_0093_0005__famous(R_0093_0005__FAMOUS)
      & r_0093_0014__once(R_0093_0014__ONCE)
      & r_0093_0017__a_r_0093_0018__headquarters_r_0093_0019__staff(R_0093_0017__A_R_0093_0018__HEADQUARTERS_R_0093_0019__STAFF)
      & r_0093_0024__its(R_0093_0024__ITS)
      & z_000_93_a_lob_n01_24(Z_000_93_A_LOB_N01_24)
      & r_0093_0009__inclined(R_0093_0009__INCLINED)
      & has_arg0(R_0093_0009__INCLINED,Z_000_93_A_LOB_N01_24)
      & has_arg1(R_0093_0009__INCLINED,R_0093_0010__TO_R_0093_0011__PONTIFICATE)
      & r_0093_0010__to_r_0093_0011__pontificate(R_0093_0010__TO_R_0093_0011__PONTIFICATE)
      & has_arg0(R_0093_0010__TO_R_0093_0011__PONTIFICATE,R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL)
      & r_0093_0004__a_r_0093_0006__field_r_0093_0007__marshal(R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL)
      & has_attrib14(R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL,R_0093_0005__FAMOUS)
      & has_arg2(R_0093_0009__INCLINED,R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL)
      & r_0093_0002__remembered(R_0093_0002__REMEMBERED)
      & has_arg1(R_0093_0002__REMEMBERED,R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED)
      & r_0093_0003__that_r_0093_0013__had_r_0093_0015__stated(R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED)
      & has_arg1(R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED,R_0093_0016__THAT_R_0093_0020__REFLECTED)
      & r_0093_0016__that_r_0093_0020__reflected(R_0093_0016__THAT_R_0093_0020__REFLECTED)
      & has_arg1(R_0093_0016__THAT_R_0093_0020__REFLECTED,R_0093_0021__THE_R_0093_0022__QUALITY)
      & r_0093_0021__the_r_0093_0022__quality(R_0093_0021__THE_R_0093_0022__QUALITY)
      & has_r_0093_0023__of(R_0093_0021__THE_R_0093_0022__QUALITY,R_0093_0025__COMMANDER)
      & r_0093_0025__commander(R_0093_0025__COMMANDER)
      & has_gen(R_0093_0025__COMMANDER,R_0093_0024__ITS)
      & has_arg0(R_0093_0016__THAT_R_0093_0020__REFLECTED,R_0093_0017__A_R_0093_0018__HEADQUARTERS_R_0093_0019__STAFF)
      & has_nim38(R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED,R_0093_0014__ONCE)
      & has_arg0(R_0093_0003__THAT_R_0093_0013__HAD_R_0093_0015__STATED,R_0093_0004__A_R_0093_0006__FIELD_R_0093_0007__MARSHAL)
      & has_arg0(R_0093_0002__REMEMBERED,R_0093_0001__GEOFFREY) ) ).

( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;__ remembered;{remember})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D a;{a})
                                      (ADJP (ADJ famous;{famous}))
                                      (N field;{field})
                                      (N marshal;{marshal})
                                      (PUNC ,)
                                      (IP-PPL (NP-LGS *)
                                              (VVN;__ inclined;{incline})
                                              (IP-INF-OB1 (TO to;{to})
                                                          (VB;__ pontificate;{pontificate}))))
                              (PUNC ,)
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (ADVP-NIM (ADV once;{once}))
                                          (VVN;__ stated;{state})
                                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                                              (NP-SBJ (D a;{a})
                                                                      (N headquarters;{headquarters})
                                                                      (N staff;{staff}))
                                                              (VBD;__ reflected;{reflect})
                                                              (NP-OB1 (D the;{the})
                                                                      (N quality;{quality})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (NP-GEN;{HQ} (PRO;_genm_ its;{its}))
                                                                              (N commander;{commander})))))))))
          (PUNC .))
  (ID 93_a_lob_n01))