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_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] 
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_4 Alastair n23_a_lob_n01_8 leant n23_a_lob_n01_11 across n23_a_lob_n01_14 and n23_a_lob_n01_17 pressed n23_a_lob_n01_20 a n23_a_lob_n01_22 switch n23_a_lob_n01_24 . n23_a_lob_n01_1 IP-MAT n23_a_lob_n01_2 NP-SBJ n23_a_lob_n01_1->n23_a_lob_n01_2 n23_a_lob_n01_5 ILYR n23_a_lob_n01_1->n23_a_lob_n01_5 n23_a_lob_n01_23 PUNC n23_a_lob_n01_1->n23_a_lob_n01_23 n23_a_lob_n01_3 NPR n23_a_lob_n01_2->n23_a_lob_n01_3 n23_a_lob_n01_3->n23_a_lob_n01_4 n23_a_lob_n01_6 ILYR n23_a_lob_n01_5->n23_a_lob_n01_6 n23_a_lob_n01_12 CONJP n23_a_lob_n01_5->n23_a_lob_n01_12 n23_a_lob_n01_7 VBD;_Ip_ n23_a_lob_n01_6->n23_a_lob_n01_7 n23_a_lob_n01_9 ADVP-CLR n23_a_lob_n01_6->n23_a_lob_n01_9 n23_a_lob_n01_7->n23_a_lob_n01_8 n23_a_lob_n01_10 RP n23_a_lob_n01_9->n23_a_lob_n01_10 n23_a_lob_n01_10->n23_a_lob_n01_11 n23_a_lob_n01_13 CONJ n23_a_lob_n01_12->n23_a_lob_n01_13 n23_a_lob_n01_15 ILYR n23_a_lob_n01_12->n23_a_lob_n01_15 n23_a_lob_n01_13->n23_a_lob_n01_14 n23_a_lob_n01_16 VBD;_Tn_ n23_a_lob_n01_15->n23_a_lob_n01_16 n23_a_lob_n01_18 NP-OB1 n23_a_lob_n01_15->n23_a_lob_n01_18 n23_a_lob_n01_16->n23_a_lob_n01_17 n23_a_lob_n01_19 D n23_a_lob_n01_18->n23_a_lob_n01_19 n23_a_lob_n01_21 N n23_a_lob_n01_18->n23_a_lob_n01_21 n23_a_lob_n01_19->n23_a_lob_n01_20 n23_a_lob_n01_21->n23_a_lob_n01_22 n23_a_lob_n01_23->n23_a_lob_n01_24 
( (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))