TSPC 31_a_lob

31_a_lob_n01
He was able to pick out towns, unrecognisable to the naked eye, obscured by the ground haze which even on the clearest night limited angular vision.

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

arc(r_0031_0002__was,r_0031_0003__able,scope).
arc(r_0031_0003__able,r_0031_0005__pick_r_0031_0006__out,scope).
arc(r_0031_0005__pick_r_0031_0006__out,r_0031_0001__He,arg0).
arc(r_0031_0005__pick_r_0031_0006__out,r_0031_0007__towns,arg1).
arc(r_0031_0007__towns,r_0031_0009__unrecognisable,attrib).
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,attrib).
arc(r_0031_0015__obscured,r_0031_0007__towns,inv_arg1).
arc(r_0031_0015__obscured,r_0031_0017__the_r_0031_0018__ground_r_0031_0019__haze,r_0031_0016__by_arg0).
arc(r_0031_0023__the_r_0031_0025__night,r_0031_0024__clearest,attrib).
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,nim).
arc(r_0031_0026__limited,r_0031_0023__the_r_0031_0025__night,r_0031_0022__on__nim).
arc(r_0031_0026__limited,r_0031_0028__vision,arg1).
arc(r_0031_0028__vision,r_0031_0027__angular,attrib).

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_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE,R_0031_0015__OBSCURED,R_0031_0007__TOWNS,R_0031_0002__WAS_R_0031_0003__ABLE_R_0031_0005__PICK_R_0031_0006__OUT,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)
      & 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_attrib(R_0031_0028__VISION,R_0031_0027__ANGULAR)
      & has_r_0031_0022__on__nim(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_attrib(R_0031_0023__THE_R_0031_0025__NIGHT,R_0031_0024__CLEAREST)
      & has_nim(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_0002__was_r_0031_0003__able_r_0031_0005__pick_r_0031_0006__out(R_0031_0002__WAS_R_0031_0003__ABLE_R_0031_0005__PICK_R_0031_0006__OUT)
      & has_arg1(R_0031_0002__WAS_R_0031_0003__ABLE_R_0031_0005__PICK_R_0031_0006__OUT,R_0031_0007__TOWNS)
      & r_0031_0007__towns(R_0031_0007__TOWNS)
      & has_inv_arg1(R_0031_0007__TOWNS,R_0031_0015__OBSCURED)
      & r_0031_0015__obscured(R_0031_0015__OBSCURED)
      & has_r_0031_0016__by_arg0(R_0031_0015__OBSCURED,R_0031_0017__THE_R_0031_0018__GROUND_R_0031_0019__HAZE)
      & has_attrib(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_attrib(R_0031_0011__THE_R_0031_0013__EYE,R_0031_0012__NAKED)
      & has_arg0(R_0031_0002__WAS_R_0031_0003__ABLE_R_0031_0005__PICK_R_0031_0006__OUT,R_0031_0001__HE) ) ).