Context                Previous, Next                Top


94_a_lob_n01
It certainly seemed to apply to Alastair.

n94_a_lob_n01 n94_a_lob_n01__1_1_1_1 It n94_a_lob_n01__1_2_1_1 certainly n94_a_lob_n01__1_3_1 seemed n94_a_lob_n01__1_4_1_1 to n94_a_lob_n01__1_4_2_1 apply n94_a_lob_n01__1_4_3_1_1 to n94_a_lob_n01__1_4_3_2_1_1 Alastair n94_a_lob_n01__1_5_1 . n94_a_lob_n01__1 IP-MAT n94_a_lob_n01__1_1 NP-SBJ n94_a_lob_n01__1->n94_a_lob_n01__1_1 n94_a_lob_n01__1_2 ADVP-NIM n94_a_lob_n01__1->n94_a_lob_n01__1_2 n94_a_lob_n01__1_3 VBD;_cat_Vt_ n94_a_lob_n01__1->n94_a_lob_n01__1_3 n94_a_lob_n01__1_4 IP-INF-CAT n94_a_lob_n01__1->n94_a_lob_n01__1_4 n94_a_lob_n01__1_5 PUNC n94_a_lob_n01__1->n94_a_lob_n01__1_5 n94_a_lob_n01__1_1_1 PRO n94_a_lob_n01__1_1->n94_a_lob_n01__1_1_1 n94_a_lob_n01__1_1_1->n94_a_lob_n01__1_1_1_1 n94_a_lob_n01__1_2_1 ADV n94_a_lob_n01__1_2->n94_a_lob_n01__1_2_1 n94_a_lob_n01__1_2_1->n94_a_lob_n01__1_2_1_1 n94_a_lob_n01__1_3->n94_a_lob_n01__1_3_1 n94_a_lob_n01__1_4_1 TO n94_a_lob_n01__1_4->n94_a_lob_n01__1_4_1 n94_a_lob_n01__1_4_2 VB;__ n94_a_lob_n01__1_4->n94_a_lob_n01__1_4_2 n94_a_lob_n01__1_4_3 PP-CLR n94_a_lob_n01__1_4->n94_a_lob_n01__1_4_3 n94_a_lob_n01__1_4_1->n94_a_lob_n01__1_4_1_1 n94_a_lob_n01__1_4_2->n94_a_lob_n01__1_4_2_1 n94_a_lob_n01__1_4_3_1 P-ROLE n94_a_lob_n01__1_4_3->n94_a_lob_n01__1_4_3_1 n94_a_lob_n01__1_4_3_2 NP n94_a_lob_n01__1_4_3->n94_a_lob_n01__1_4_3_2 n94_a_lob_n01__1_4_3_1->n94_a_lob_n01__1_4_3_1_1 n94_a_lob_n01__1_4_3_2_1 NPR n94_a_lob_n01__1_4_3_2->n94_a_lob_n01__1_4_3_2_1 n94_a_lob_n01__1_4_3_2_1->n94_a_lob_n01__1_4_3_2_1_1 n94_a_lob_n01__1_5->n94_a_lob_n01__1_5_1 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (ADVP-NIM (ADV certainly;{certainly}))
          (VBD;_cat_Vt_ seemed;{seem})
          (IP-INF-CAT (TO to;{to})
                      (VB;__ apply;{apply})
                      (PP-CLR (P-ROLE to;{to})
                              (NP;{ALASTAIR} (NPR Alastair;{Alastair}))))
          (PUNC .))
  (ID 94_a_lob_n01))


%3 r_0094_0005__apply apply r_0094_0007__Alastair Alastair r_0094_0005__apply->r_0094_0007__Alastair to [clr] r_0094_0001__It It r_0094_0005__apply->r_0094_0001__It [arg0] r_0094_0003__seemed seemed r_0094_0003__seemed->r_0094_0005__apply [scope] r_0094_0002__certainly certainly r_0094_0003__seemed->r_0094_0002__certainly [nim] 
arc(r_0094_0003__seemed,r_0094_0002__certainly,nim).
arc(r_0094_0003__seemed,r_0094_0005__apply,scope).
arc(r_0094_0005__apply,r_0094_0001__It,arg0).
arc(r_0094_0005__apply,r_0094_0007__Alastair,r_0094_0006__to__clr).


%3 r_0094_0003__seemed_r_0094_0005__apply seemed apply r_0094_0002__certainly certainly r_0094_0003__seemed_r_0094_0005__apply->r_0094_0002__certainly [nim] r_0094_0001__It It r_0094_0003__seemed_r_0094_0005__apply->r_0094_0001__It [arg0] r_0094_0007__Alastair Alastair r_0094_0003__seemed_r_0094_0005__apply->r_0094_0007__Alastair to [clr] 
fof(formula,axiom,
    ? [R_0094_0002__CERTAINLY,R_0094_0001__IT,R_0094_0007__ALASTAIR,R_0094_0003__SEEMED_R_0094_0005__APPLY] :
      ( r_0094_0001__It(R_0094_0001__IT)
      & r_0094_0002__certainly(R_0094_0002__CERTAINLY)
      & r_0094_0007__Alastair(R_0094_0007__ALASTAIR)
      & r_0094_0003__seemed_r_0094_0005__apply(R_0094_0003__SEEMED_R_0094_0005__APPLY)
      & has_r_0094_0006__to__clr(R_0094_0003__SEEMED_R_0094_0005__APPLY,R_0094_0007__ALASTAIR)
      & has_arg0(R_0094_0003__SEEMED_R_0094_0005__APPLY,R_0094_0001__IT)
      & has_nim(R_0094_0003__SEEMED_R_0094_0005__APPLY,R_0094_0002__CERTAINLY) ) ).