arc(r_0031_0002__was, r_0031_0001__He, arg0).
arc(r_0031_0002__was, r_0031_0003__able, prd).
arc(r_0031_0003__able, r_0031_0004__to_r_0031_0005__pick_r_0031_0006__out, emb10).
arc(r_0031_0004__to_r_0031_0005__pick_r_0031_0006__out, r_0031_0007__towns, arg1).
arc(r_0031_0004__to_r_0031_0005__pick_r_0031_0006__out, z_000_31_a_lob_n01_10, arg0).
arc(r_0031_0007__towns, r_0031_0009__unrecognisable, attrib22).
arc(r_0031_0009__unrecognisable, r_0031_0011__the_r_0031_0013__eye, r_0031_0010__to).
arc(r_0031_0011__the_r_0031_0013__eye, r_0031_0012__naked, attrib31).
arc(r_0031_0015__obscured, r_0031_0007__towns, arg1).
arc(r_0031_0015__obscured, r_0031_0017__the_r_0031_0018__ground_r_0031_0019__haze, arg0).
arc(r_0031_0023__the_r_0031_0025__night, r_0031_0024__clearest, attrib64).
arc(r_0031_0026__limited, r_0031_0017__the_r_0031_0018__ground_r_0031_0019__haze, arg0).
arc(r_0031_0026__limited, r_0031_0021__even, nim55).
arc(r_0031_0026__limited, r_0031_0023__the_r_0031_0025__night, r_0031_0022__on_nim61).
arc(r_0031_0026__limited, r_0031_0028__vision, arg1).
arc(r_0031_0028__vision, r_0031_0027__angular, attrib72).

fof(formula,axiom,
    ? [R_0031_0001__HE,R_0031_0012__NAKED,R_0031_0011__THE_R_0031_0013__EYE,R_0031_0009__UNRECOGNISABLE,R_0031_0007__TOWNS,Z_000_31_A_LOB_N01_10,R_0031_0004__TO_R_0031_0005__PICK_R_0031_0006__OUT,R_0031_0003__ABLE,R_0031_0002__WAS,R_0031_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE,R_0031_0015__OBSCURED,R_0031_0021__EVEN,R_0031_0024__CLEAREST,R_0031_0023__THE_R_0031_0025__NIGHT,R_0031_0027__ANGULAR,R_0031_0028__VISION,R_0031_0026__LIMITED] :
      ( r_0031_0001__He(R_0031_0001__HE)
      & r_0031_0012__naked(R_0031_0012__NAKED)
      & r_0031_0017__the_r_0031_0018__ground_r_0031_0019__haze(R_0031_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE)
      & r_0031_0021__even(R_0031_0021__EVEN)
      & r_0031_0024__clearest(R_0031_0024__CLEAREST)
      & r_0031_0027__angular(R_0031_0027__ANGULAR)
      & z_000_31_a_lob_n01_10(Z_000_31_A_LOB_N01_10)
      & r_0031_0026__limited(R_0031_0026__LIMITED)
      & has_arg1(R_0031_0026__LIMITED,R_0031_0028__VISION)
      & r_0031_0028__vision(R_0031_0028__VISION)
      & has_attrib72(R_0031_0028__VISION,R_0031_0027__ANGULAR)
      & has_r_0031_0022__on_nim61(R_0031_0026__LIMITED,R_0031_0023__THE_R_0031_0025__NIGHT)
      & r_0031_0023__the_r_0031_0025__night(R_0031_0023__THE_R_0031_0025__NIGHT)
      & has_attrib64(R_0031_0023__THE_R_0031_0025__NIGHT,R_0031_0024__CLEAREST)
      & has_nim55(R_0031_0026__LIMITED,R_0031_0021__EVEN)
      & has_arg0(R_0031_0026__LIMITED,R_0031_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE)
      & r_0031_0015__obscured(R_0031_0015__OBSCURED)
      & has_arg0(R_0031_0015__OBSCURED,R_0031_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE)
      & has_arg1(R_0031_0015__OBSCURED,R_0031_0007__TOWNS)
      & r_0031_0007__towns(R_0031_0007__TOWNS)
      & has_attrib22(R_0031_0007__TOWNS,R_0031_0009__UNRECOGNISABLE)
      & r_0031_0009__unrecognisable(R_0031_0009__UNRECOGNISABLE)
      & has_r_0031_0010__to(R_0031_0009__UNRECOGNISABLE,R_0031_0011__THE_R_0031_0013__EYE)
      & r_0031_0011__the_r_0031_0013__eye(R_0031_0011__THE_R_0031_0013__EYE)
      & has_attrib31(R_0031_0011__THE_R_0031_0013__EYE,R_0031_0012__NAKED)
      & r_0031_0002__was(R_0031_0002__WAS)
      & has_prd(R_0031_0002__WAS,R_0031_0003__ABLE)
      & r_0031_0003__able(R_0031_0003__ABLE)
      & has_emb10(R_0031_0003__ABLE,R_0031_0004__TO_R_0031_0005__PICK_R_0031_0006__OUT)
      & r_0031_0004__to_r_0031_0005__pick_r_0031_0006__out(R_0031_0004__TO_R_0031_0005__PICK_R_0031_0006__OUT)
      & has_arg0(R_0031_0004__TO_R_0031_0005__PICK_R_0031_0006__OUT,Z_000_31_A_LOB_N01_10)
      & has_arg1(R_0031_0004__TO_R_0031_0005__PICK_R_0031_0006__OUT,R_0031_0007__TOWNS)
      & has_arg0(R_0031_0002__WAS,R_0031_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{GEOFFREY} (PRO He;{he}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ;_cat_ able;{able})
                    (IP-INF (TO to;{to})
                            (VB;__ pick;{pick})
                            (RP out;{out})
                            (NP-OB1 (NS towns;{town})
                                    (PUNC ,)
                                    (ADJP (ADJ unrecognisable;{unrecognisable})
                                          (PP (P-ROLE to;{to})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ naked;{naked}))
                                                  (N eye;{eye}))))
                                    (PUNC ,)
                                    (IP-PPL (VBD;__ obscured;{obscure})
                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                    (NP (D the;{the})
                                                        (N ground;{ground})
                                                        (N haze;{haze})
                                                        (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                (ADVP-NIM (ADV even;{even}))
                                                                (PP-NIM (P-ROLE on;{on})
                                                                        (NP (D the;{the})
                                                                            (ADJP (ADJS clearest;{clear}))
                                                                            (N night;{night})))
                                                                (VBD;__ limited;{limit})
                                                                (NP-OB1 (ADJP (ADJ angular;{angular}))
                                                                        (N vision;{vision})))))))))
          (PUNC .))
  (ID 31_a_lob_n01))