Context                Previous, Next                Top


23_a_lob_n01
Alastair leant across and pressed a switch.

%3 r_0023_0002__leant leant r_0023_0001__Alastair Alastair r_0023_0002__leant->r_0023_0001__Alastair [arg0] r_0023_0003__across across r_0023_0002__leant->r_0023_0003__across [clr] r_0023_0004__and and r_0023_0004__and->r_0023_0002__leant [conj1] r_0023_0005__pressed pressed r_0023_0004__and->r_0023_0005__pressed [conj2] r_0023_0005__pressed->r_0023_0001__Alastair [arg0] r_0023_0006__a_r_0023_0007__switch a switch r_0023_0005__pressed->r_0023_0006__a_r_0023_0007__switch [arg1] 
arc(r_0023_0002__leant, r_0023_0001__Alastair, arg0).
arc(r_0023_0002__leant, r_0023_0003__across, clr9).
arc(r_0023_0004__and, r_0023_0002__leant, 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).


%3 r_0023_0005__pressed pressed r_0023_0006__a_r_0023_0007__switch a switch r_0023_0005__pressed->r_0023_0006__a_r_0023_0007__switch [arg1] r_0023_0001__Alastair Alastair r_0023_0005__pressed->r_0023_0001__Alastair [arg0] r_0023_0004__and and r_0023_0004__and->r_0023_0005__pressed [conj2] r_0023_0002__leant leant r_0023_0004__and->r_0023_0002__leant [conj1] r_0023_0002__leant->r_0023_0001__Alastair [arg0] r_0023_0003__across across r_0023_0002__leant->r_0023_0003__across [clr] 
fof(formula,axiom,
    ? [R_23_4_AND,R_23_2_LEANT,R_23_3_ACROSS,R_23_5_PRESSED,R_23_1_ALASTAIR,R_23_6_A_SWITCH] :
      ( across(R_23_3_ACROSS)
      & alastair(R_23_1_ALASTAIR)
      & a_switch(R_23_6_A_SWITCH)
      & and(R_23_4_AND)
      & conj1(R_23_4_AND,R_23_2_LEANT)
      & leant(R_23_2_LEANT,R_23_1_ALASTAIR)
      & clr9(R_23_2_LEANT,R_23_3_ACROSS)
      & conj2(R_23_4_AND,R_23_5_PRESSED)
      & pressed(R_23_5_PRESSED,R_23_1_ALASTAIR,R_23_6_A_SWITCH) ) ).


n23_a_lob_n01 n23_a_lob_n01__1_1_1_1 Alastair n23_a_lob_n01__1_2_1_1_1 leant n23_a_lob_n01__1_2_1_2_1_1 across n23_a_lob_n01__1_2_2_1_1 and n23_a_lob_n01__1_2_2_2_1_1 pressed n23_a_lob_n01__1_2_2_2_2_1_1 a n23_a_lob_n01__1_2_2_2_2_2_1 switch n23_a_lob_n01__1_3_1 . n23_a_lob_n01__1 IP-MAT n23_a_lob_n01__1_1 NP-SBJ n23_a_lob_n01__1->n23_a_lob_n01__1_1 n23_a_lob_n01__1_2 ILYR n23_a_lob_n01__1->n23_a_lob_n01__1_2 n23_a_lob_n01__1_3 PUNC n23_a_lob_n01__1->n23_a_lob_n01__1_3 n23_a_lob_n01__1_1_1 NPR n23_a_lob_n01__1_1->n23_a_lob_n01__1_1_1 n23_a_lob_n01__1_1_1->n23_a_lob_n01__1_1_1_1 n23_a_lob_n01__1_2_1 ILYR n23_a_lob_n01__1_2->n23_a_lob_n01__1_2_1 n23_a_lob_n01__1_2_2 CONJP n23_a_lob_n01__1_2->n23_a_lob_n01__1_2_2 n23_a_lob_n01__1_2_1_1 VBD;_Ip_ n23_a_lob_n01__1_2_1->n23_a_lob_n01__1_2_1_1 n23_a_lob_n01__1_2_1_2 ADVP-CLR n23_a_lob_n01__1_2_1->n23_a_lob_n01__1_2_1_2 n23_a_lob_n01__1_2_1_1->n23_a_lob_n01__1_2_1_1_1 n23_a_lob_n01__1_2_1_2_1 RP n23_a_lob_n01__1_2_1_2->n23_a_lob_n01__1_2_1_2_1 n23_a_lob_n01__1_2_1_2_1->n23_a_lob_n01__1_2_1_2_1_1 n23_a_lob_n01__1_2_2_1 CONJ n23_a_lob_n01__1_2_2->n23_a_lob_n01__1_2_2_1 n23_a_lob_n01__1_2_2_2 ILYR n23_a_lob_n01__1_2_2->n23_a_lob_n01__1_2_2_2 n23_a_lob_n01__1_2_2_1->n23_a_lob_n01__1_2_2_1_1 n23_a_lob_n01__1_2_2_2_1 VBD;_Tn_ n23_a_lob_n01__1_2_2_2->n23_a_lob_n01__1_2_2_2_1 n23_a_lob_n01__1_2_2_2_2 NP-OB1 n23_a_lob_n01__1_2_2_2->n23_a_lob_n01__1_2_2_2_2 n23_a_lob_n01__1_2_2_2_1->n23_a_lob_n01__1_2_2_2_1_1 n23_a_lob_n01__1_2_2_2_2_1 D n23_a_lob_n01__1_2_2_2_2->n23_a_lob_n01__1_2_2_2_2_1 n23_a_lob_n01__1_2_2_2_2_2 N n23_a_lob_n01__1_2_2_2_2->n23_a_lob_n01__1_2_2_2_2_2 n23_a_lob_n01__1_2_2_2_2_1->n23_a_lob_n01__1_2_2_2_2_1_1 n23_a_lob_n01__1_2_2_2_2_2->n23_a_lob_n01__1_2_2_2_2_2_1 n23_a_lob_n01__1_3->n23_a_lob_n01__1_3_1 
( (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))