Context                Previous, Next                Top


1_a_lob_g01
A Scottish knight — Sir John Mercer — was imprisoned in England.

%3 r_0001_0001__A_r_0001_0003__knight A knight r_0001_0002__Scottish Scottish r_0001_0001__A_r_0001_0003__knight->r_0001_0002__Scottish [attrib] r_0001_0009__was was r_0001_0010__imprisoned imprisoned r_0001_0009__was->r_0001_0010__imprisoned [scope] r_0001_0010__imprisoned->r_0001_0001__A_r_0001_0003__knight [arg1] r_0001_0012__England England r_0001_0010__imprisoned->r_0001_0012__England in [nim] z_000_1_a_lob_g01_25 r_0001_0010__imprisoned->z_000_1_a_lob_g01_25 [arg0] z_000_1_a_lob_g01_12 z_000_1_a_lob_g01_12->r_0001_0001__A_r_0001_0003__knight [arg0] r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer Sir John Mercer z_000_1_a_lob_g01_12->r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer [prd] 
arc(r_0001_0001__A_r_0001_0003__knight, r_0001_0002__Scottish, attrib5).
arc(r_0001_0009__was, r_0001_0010__imprisoned, scope).
arc(r_0001_0010__imprisoned, r_0001_0001__A_r_0001_0003__knight, arg1).
arc(r_0001_0010__imprisoned, r_0001_0012__England, r_0001_0011__in_nim32).
arc(r_0001_0010__imprisoned, z_000_1_a_lob_g01_25, arg0).
arc(z_000_1_a_lob_g01_12, r_0001_0001__A_r_0001_0003__knight, arg0).
arc(z_000_1_a_lob_g01_12, r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer, prd).


%3 r_0001_0001__A_r_0001_0003__knight A knight r_0001_0002__Scottish Scottish r_0001_0001__A_r_0001_0003__knight->r_0001_0002__Scottish [attrib] r_0001_0009__was_r_0001_0010__imprisoned was imprisoned r_0001_0009__was_r_0001_0010__imprisoned->r_0001_0001__A_r_0001_0003__knight [arg1] r_0001_0012__England England r_0001_0009__was_r_0001_0010__imprisoned->r_0001_0012__England in [nim] z_000_1_a_lob_g01_25 r_0001_0009__was_r_0001_0010__imprisoned->z_000_1_a_lob_g01_25 [arg0] z_000_1_a_lob_g01_12 z_000_1_a_lob_g01_12->r_0001_0001__A_r_0001_0003__knight [arg0] r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer Sir John Mercer z_000_1_a_lob_g01_12->r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer [prd] 
fof(formula,axiom,
    ? [R_1_9_WAS_IMPRISONED,Z_1_A_LOB_G01_25,R_1_12_ENGLAND,Z_1_A_LOB_G01_12,R_1_1_A_KNIGHT,R_1_2_SCOTTISH,R_1_5_SIR_JOHN_MERCER] :
      ( england(R_1_12_ENGLAND)
      & scottish(R_1_2_SCOTTISH)
      & sir_John_Mercer(R_1_5_SIR_JOHN_MERCER)
      & was_imprisoned(R_1_9_WAS_IMPRISONED,Z_1_A_LOB_G01_25,R_1_1_A_KNIGHT)
      & a_knight(R_1_1_A_KNIGHT)
      & attrib5(R_1_1_A_KNIGHT,R_1_2_SCOTTISH)
      & in_nim32(R_1_9_WAS_IMPRISONED,R_1_12_ENGLAND)
      & z_1_a_lob_g01_12(Z_1_A_LOB_G01_12,R_1_1_A_KNIGHT,R_1_5_SIR_JOHN_MERCER) ) ).


n1_a_lob_g01 n1_a_lob_g01_4 A n1_a_lob_g01_7 Scottish n1_a_lob_g01_9 knight n1_a_lob_g01_11 <mdash> n1_a_lob_g01_15 Sir n1_a_lob_g01_17 John n1_a_lob_g01_19 Mercer n1_a_lob_g01_21 <mdash> n1_a_lob_g01_23 was n1_a_lob_g01_26 * n1_a_lob_g01_28 imprisoned n1_a_lob_g01_31 in n1_a_lob_g01_34 England n1_a_lob_g01_36 . n1_a_lob_g01_1 IP-MAT n1_a_lob_g01_2 NP-SBJ n1_a_lob_g01_1->n1_a_lob_g01_2 n1_a_lob_g01_22 BED;_cat_VePASS_ n1_a_lob_g01_1->n1_a_lob_g01_22 n1_a_lob_g01_24 IP-PPL-CAT n1_a_lob_g01_1->n1_a_lob_g01_24 n1_a_lob_g01_35 PUNC n1_a_lob_g01_1->n1_a_lob_g01_35 n1_a_lob_g01_3 D n1_a_lob_g01_2->n1_a_lob_g01_3 n1_a_lob_g01_5 ADJP n1_a_lob_g01_2->n1_a_lob_g01_5 n1_a_lob_g01_8 N n1_a_lob_g01_2->n1_a_lob_g01_8 n1_a_lob_g01_10 PUNC n1_a_lob_g01_2->n1_a_lob_g01_10 n1_a_lob_g01_12 IP-PPL n1_a_lob_g01_2->n1_a_lob_g01_12 n1_a_lob_g01_20 PUNC n1_a_lob_g01_2->n1_a_lob_g01_20 n1_a_lob_g01_3->n1_a_lob_g01_4 n1_a_lob_g01_6 ADJ n1_a_lob_g01_5->n1_a_lob_g01_6 n1_a_lob_g01_6->n1_a_lob_g01_7 n1_a_lob_g01_8->n1_a_lob_g01_9 n1_a_lob_g01_10->n1_a_lob_g01_11 n1_a_lob_g01_13 NP-PRD n1_a_lob_g01_12->n1_a_lob_g01_13 n1_a_lob_g01_14 N n1_a_lob_g01_13->n1_a_lob_g01_14 n1_a_lob_g01_16 NPR n1_a_lob_g01_13->n1_a_lob_g01_16 n1_a_lob_g01_18 NPR n1_a_lob_g01_13->n1_a_lob_g01_18 n1_a_lob_g01_14->n1_a_lob_g01_15 n1_a_lob_g01_16->n1_a_lob_g01_17 n1_a_lob_g01_18->n1_a_lob_g01_19 n1_a_lob_g01_20->n1_a_lob_g01_21 n1_a_lob_g01_22->n1_a_lob_g01_23 n1_a_lob_g01_25 NP-LGS n1_a_lob_g01_24->n1_a_lob_g01_25 n1_a_lob_g01_27 VVN;_Tn_ n1_a_lob_g01_24->n1_a_lob_g01_27 n1_a_lob_g01_29 PP-NIM n1_a_lob_g01_24->n1_a_lob_g01_29 n1_a_lob_g01_25->n1_a_lob_g01_26 n1_a_lob_g01_27->n1_a_lob_g01_28 n1_a_lob_g01_30 P-ROLE n1_a_lob_g01_29->n1_a_lob_g01_30 n1_a_lob_g01_32 NP n1_a_lob_g01_29->n1_a_lob_g01_32 n1_a_lob_g01_30->n1_a_lob_g01_31 n1_a_lob_g01_33 NPR n1_a_lob_g01_32->n1_a_lob_g01_33 n1_a_lob_g01_33->n1_a_lob_g01_34 n1_a_lob_g01_35->n1_a_lob_g01_36 
( (IP-MAT (NP-SBJ (D A;{a})
                  (ADJP (ADJ Scottish;{scottish}))
                  (N knight;{knight})
                  (PUNC <mdash>)
                  (IP-PPL (NP-PRD;{MERCER} (N Sir;{sir})
                                           (NPR John;{John})
                                           (NPR Mercer;{Mercer})))
                  (PUNC <mdash>))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ imprisoned;{imprison})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR England;{England}))))
          (PUNC .))
  (ID 1_a_lob_g01))