( (IP-MAT (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (ILYR (ILYR (VBD;_Ip_ leant;{lean[across]})
                      (ADVP-CLR (RP across;{across})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ pressed;{press})
                             (NP-OB1 (D a;{a})
                                     (N switch;{switch})))))
          (PUNC .))
  (ID 23_a_lob_n01))

arc(r_0023_0002__leant_r_0023_0003__across,r_0023_0001__Alastair,arg0).
arc(r_0023_0004__and,r_0023_0002__leant_r_0023_0003__across,conj1).
arc(r_0023_0004__and,r_0023_0005__pressed,conj2).
arc(r_0023_0005__pressed,r_0023_0001__Alastair,arg0).
arc(r_0023_0005__pressed,r_0023_0006__a_r_0023_0007__switch,arg1).

fof(formula,axiom,
    ? [R_0023_0001__ALASTAIR,R_0023_0002__LEANT_R_0023_0003__ACROSS,R_0023_0006__A_R_0023_0007__SWITCH,R_0023_0005__PRESSED,R_0023_0004__AND] :
      ( r_0023_0001__Alastair(R_0023_0001__ALASTAIR)
      & r_0023_0006__a_r_0023_0007__switch(R_0023_0006__A_R_0023_0007__SWITCH)
      & r_0023_0004__and(R_0023_0004__AND)
      & has_conj2(R_0023_0004__AND,R_0023_0005__PRESSED)
      & r_0023_0005__pressed(R_0023_0005__PRESSED)
      & has_arg1(R_0023_0005__PRESSED,R_0023_0006__A_R_0023_0007__SWITCH)
      & has_arg0(R_0023_0005__PRESSED,R_0023_0001__ALASTAIR)
      & has_conj1(R_0023_0004__AND,R_0023_0002__LEANT_R_0023_0003__ACROSS)
      & r_0023_0002__leant_r_0023_0003__across(R_0023_0002__LEANT_R_0023_0003__ACROSS)
      & has_arg0(R_0023_0002__LEANT_R_0023_0003__ACROSS,R_0023_0001__ALASTAIR) ) ).