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.

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, qual13).
arc(r_0026_0006__experience, r_0026_0005__little, attrib12).
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_000_26_a_lob_n01_23, arg0).
arc(r_0026_0013__was, r_0026_0002__Geoffrey, arg0).
arc(r_0026_0013__was, r_0026_0014__able, prd).
arc(r_0026_0014__able, r_0026_0015__to_r_0026_0016__recognise, emb41).
arc(r_0026_0015__to_r_0026_0016__recognise, r_0026_0002__Geoffrey, r_0026_0019__beneath_nim54).
arc(r_0026_0015__to_r_0026_0016__recognise, r_0026_0017__the_r_0026_0018__land, arg1).
arc(r_0026_0015__to_r_0026_0016__recognise, z_000_26_a_lob_n01_41, arg0).

fof(formula,axiom,
    ? [R_0026_0002__GEOFFREY,R_0026_0004__RELATIVELY,R_0026_0005__LITTLE,R_0026_0009__RADAR_R_0026_0010__PICTURES,Z_000_26_A_LOB_N01_23,R_0026_0008__INTERPRETING,R_0026_0006__EXPERIENCE,R_0026_0003__HAD,R_0026_0017__THE_R_0026_0018__LAND,Z_000_26_A_LOB_N01_41,R_0026_0015__TO_R_0026_0016__RECOGNISE,R_0026_0014__ABLE,R_0026_0013__WAS,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_000_26_a_lob_n01_23(Z_000_26_A_LOB_N01_23)
      & z_000_26_a_lob_n01_41(Z_000_26_A_LOB_N01_41)
      & r_0026_0001__Although(R_0026_0001__ALTHOUGH)
      & has_conj2(R_0026_0001__ALTHOUGH,R_0026_0013__WAS)
      & r_0026_0013__was(R_0026_0013__WAS)
      & has_prd(R_0026_0013__WAS,R_0026_0014__ABLE)
      & r_0026_0014__able(R_0026_0014__ABLE)
      & has_emb41(R_0026_0014__ABLE,R_0026_0015__TO_R_0026_0016__RECOGNISE)
      & r_0026_0015__to_r_0026_0016__recognise(R_0026_0015__TO_R_0026_0016__RECOGNISE)
      & has_arg0(R_0026_0015__TO_R_0026_0016__RECOGNISE,Z_000_26_A_LOB_N01_41)
      & has_arg1(R_0026_0015__TO_R_0026_0016__RECOGNISE,R_0026_0017__THE_R_0026_0018__LAND)
      & has_r_0026_0019__beneath_nim54(R_0026_0015__TO_R_0026_0016__RECOGNISE,R_0026_0002__GEOFFREY)
      & has_arg0(R_0026_0013__WAS,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_000_26_A_LOB_N01_23)
      & has_arg1(R_0026_0008__INTERPRETING,R_0026_0009__RADAR_R_0026_0010__PICTURES)
      & has_attrib12(R_0026_0006__EXPERIENCE,R_0026_0005__LITTLE)
      & r_0026_0005__little(R_0026_0005__LITTLE)
      & has_qual13(R_0026_0005__LITTLE,R_0026_0004__RELATIVELY)
      & has_arg0(R_0026_0003__HAD,R_0026_0002__GEOFFREY) ) ).

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