TSPC 26_a_lob

26_a_lob_n01
Although Geoffrey had relatively little experience of interpreting radar pictures, he was able to recognise the land beneath him.

( (IP-MAT (PP-SCON (P-CONN Although;{although})
                   (IP-ADV (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
                           (HVD;_Tn_ had;{have})
                           (NP-OB1 (ADJP (ADVP (ADV relatively;{relatively}))
                                         (ADJ little;{little}))
                                   (N experience;{experience})
                                   (PP (P-ROLE of;{of})
                                       (IP-PPL (VAG;_Tn_ interpreting;{interpret})
                                               (NP-OB1 (N radar;{radar})
                                                       (NS pictures;{picture})))))))
          (PUNC ,)
          (NP-SBJ;{GEOFFREY} (PRO he;{he}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ;_cat_ able;{able})
                    (IP-INF (TO to;{to})
                            (VB;_Tn_ recognise;{recognise})
                            (NP-OB1 (D the;{the})
                                    (N land;{land}))
                            (PP-NIM (P-ROLE beneath;{beneath})
                                    (NP;{GEOFFREY} (PRO him;{he})))))
          (PUNC .))
  (ID 26_a_lob_n01))

arc(r_0026_0001__Although,r_0026_0003__had,restriction).
arc(r_0026_0001__Although,r_0026_0013__was,scope).
arc(r_0026_0003__had,r_0026_0002__Geoffrey,arg0).
arc(r_0026_0003__had,r_0026_0006__experience,arg1).
arc(r_0026_0005__little,r_0026_0004__relatively,qual).
arc(r_0026_0006__experience,r_0026_0005__little,attrib).
arc(r_0026_0006__experience,r_0026_0008__interpreting,r_0026_0007__of).
arc(r_0026_0008__interpreting,r_0026_0009__radar_r_0026_0010__pictures,arg1).
arc(r_0026_0008__interpreting,z_0026_5007,arg0).
arc(r_0026_0013__was,r_0026_0014__able,scope).
arc(r_0026_0014__able,r_0026_0016__recognise,scope).
arc(r_0026_0016__recognise,r_0026_0002__Geoffrey,arg0).
arc(r_0026_0016__recognise,r_0026_0002__Geoffrey,r_0026_0019__beneath__nim).
arc(r_0026_0016__recognise,r_0026_0017__the_r_0026_0018__land,arg1).

fof(formula,axiom,
    ? [R_0026_0002__GEOFFREY,R_0026_0004__RELATIVELY,R_0026_0005__LITTLE,R_0026_0009__RADAR_R_0026_0010__PICTURES,Z_0026_5007,R_0026_0008__INTERPRETING,R_0026_0006__EXPERIENCE,R_0026_0003__HAD,R_0026_0017__THE_R_0026_0018__LAND,R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE,R_0026_0001__ALTHOUGH] :
      ( r_0026_0002__Geoffrey(R_0026_0002__GEOFFREY)
      & r_0026_0004__relatively(R_0026_0004__RELATIVELY)
      & r_0026_0009__radar_r_0026_0010__pictures(R_0026_0009__RADAR_R_0026_0010__PICTURES)
      & r_0026_0017__the_r_0026_0018__land(R_0026_0017__THE_R_0026_0018__LAND)
      & z_0026_5007(Z_0026_5007)
      & r_0026_0001__Although(R_0026_0001__ALTHOUGH)
      & has_conj2(R_0026_0001__ALTHOUGH,R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE)
      & r_0026_0013__was_r_0026_0014__able_r_0026_0016__recognise(R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE)
      & has_arg1(R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE,R_0026_0017__THE_R_0026_0018__LAND)
      & has_r_0026_0019__beneath__nim(R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE,R_0026_0002__GEOFFREY)
      & has_arg0(R_0026_0013__WAS_R_0026_0014__ABLE_R_0026_0016__RECOGNISE,R_0026_0002__GEOFFREY)
      & has_conj1(R_0026_0001__ALTHOUGH,R_0026_0003__HAD)
      & r_0026_0003__had(R_0026_0003__HAD)
      & has_arg1(R_0026_0003__HAD,R_0026_0006__EXPERIENCE)
      & r_0026_0006__experience(R_0026_0006__EXPERIENCE)
      & has_r_0026_0007__of(R_0026_0006__EXPERIENCE,R_0026_0008__INTERPRETING)
      & r_0026_0008__interpreting(R_0026_0008__INTERPRETING)
      & has_arg0(R_0026_0008__INTERPRETING,Z_0026_5007)
      & has_arg1(R_0026_0008__INTERPRETING,R_0026_0009__RADAR_R_0026_0010__PICTURES)
      & has_attrib(R_0026_0006__EXPERIENCE,R_0026_0005__LITTLE)
      & r_0026_0005__little(R_0026_0005__LITTLE)
      & has_qual(R_0026_0005__LITTLE,R_0026_0004__RELATIVELY)
      & has_arg0(R_0026_0003__HAD,R_0026_0002__GEOFFREY) ) ).