Context                Previous, Next                Top


22_a_lob_a02
Selwyn in strikeland.

n22_a_lob_a02 n22_a_lob_a02__1_1_1_1 Selwyn n22_a_lob_a02__1_2_1_1 in n22_a_lob_a02__1_2_2_1_1 strikeland n22_a_lob_a02__1_3_1 . n22_a_lob_a02__1 IP-MAT n22_a_lob_a02__1_1 NP-SBJ n22_a_lob_a02__1->n22_a_lob_a02__1_1 n22_a_lob_a02__1_2 PP-PRD n22_a_lob_a02__1->n22_a_lob_a02__1_2 n22_a_lob_a02__1_3 PUNC n22_a_lob_a02__1->n22_a_lob_a02__1_3 n22_a_lob_a02__1_1_1 NPR n22_a_lob_a02__1_1->n22_a_lob_a02__1_1_1 n22_a_lob_a02__1_1_1->n22_a_lob_a02__1_1_1_1 n22_a_lob_a02__1_2_1 P-ROLE n22_a_lob_a02__1_2->n22_a_lob_a02__1_2_1 n22_a_lob_a02__1_2_2 NP n22_a_lob_a02__1_2->n22_a_lob_a02__1_2_2 n22_a_lob_a02__1_2_1->n22_a_lob_a02__1_2_1_1 n22_a_lob_a02__1_2_2_1 N n22_a_lob_a02__1_2_2->n22_a_lob_a02__1_2_2_1 n22_a_lob_a02__1_2_2_1->n22_a_lob_a02__1_2_2_1_1 n22_a_lob_a02__1_3->n22_a_lob_a02__1_3_1 
( (IP-MAT (NP-SBJ (NPR Selwyn;{Selwyn}))
          (PP-PRD (P-ROLE in;{in})
                  (NP (N strikeland;{strikeland})))
          (PUNC .))
  (ID 22_a_lob_a02))


%3 z_0022_5002 r_0022_0003__strikeland strikeland z_0022_5002->r_0022_0003__strikeland in [prd] r_0022_0001__Selwyn Selwyn z_0022_5002->r_0022_0001__Selwyn [arg0] 
arc(z_0022_5002,r_0022_0001__Selwyn,arg0).
arc(z_0022_5002,r_0022_0003__strikeland,r_0022_0002__in__prd).


%3 z_0022_5002 r_0022_0001__Selwyn Selwyn z_0022_5002->r_0022_0001__Selwyn [arg0] r_0022_0003__strikeland strikeland z_0022_5002->r_0022_0003__strikeland in [prd] 
fof(formula,axiom,
    ? [R_0022_0001__SELWYN,R_0022_0003__STRIKELAND,Z_0022_5002] :
      ( r_0022_0001__Selwyn(R_0022_0001__SELWYN)
      & r_0022_0003__strikeland(R_0022_0003__STRIKELAND)
      & z_0022_5002(Z_0022_5002)
      & has_r_0022_0002__in__prd(Z_0022_5002,R_0022_0003__STRIKELAND)
      & has_arg0(Z_0022_5002,R_0022_0001__SELWYN) ) ).