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 z_000_1_a_lob_g01_12 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] r_0001_0001__A_r_0001_0003__knight A knight z_000_1_a_lob_g01_12->r_0001_0001__A_r_0001_0003__knight [arg0] 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] z_000_1_a_lob_g01_25 r_0001_0009__was_r_0001_0010__imprisoned->z_000_1_a_lob_g01_25 [arg0] r_0001_0012__England England r_0001_0009__was_r_0001_0010__imprisoned->r_0001_0012__England in [nim] 
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__1_1_1_1 A n1_a_lob_g01__1_1_2_1_1 Scottish n1_a_lob_g01__1_1_3_1 knight n1_a_lob_g01__1_1_4_1 <mdash> n1_a_lob_g01__1_1_5_1_1_1 Sir n1_a_lob_g01__1_1_5_1_2_1 John n1_a_lob_g01__1_1_5_1_3_1 Mercer n1_a_lob_g01__1_1_6_1 <mdash> n1_a_lob_g01__1_2_1 was n1_a_lob_g01__1_3_1_1 * n1_a_lob_g01__1_3_2_1 imprisoned n1_a_lob_g01__1_3_3_1_1 in n1_a_lob_g01__1_3_3_2_1_1 England n1_a_lob_g01__1_4_1 . n1_a_lob_g01__1 IP-MAT n1_a_lob_g01__1_1 NP-SBJ n1_a_lob_g01__1->n1_a_lob_g01__1_1 n1_a_lob_g01__1_2 BED;_cat_VePASS_ n1_a_lob_g01__1->n1_a_lob_g01__1_2 n1_a_lob_g01__1_3 IP-PPL-CAT n1_a_lob_g01__1->n1_a_lob_g01__1_3 n1_a_lob_g01__1_4 PUNC n1_a_lob_g01__1->n1_a_lob_g01__1_4 n1_a_lob_g01__1_1_1 D n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_1 n1_a_lob_g01__1_1_2 ADJP n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_2 n1_a_lob_g01__1_1_3 N n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_3 n1_a_lob_g01__1_1_4 PUNC n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_4 n1_a_lob_g01__1_1_5 IP-PPL n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_5 n1_a_lob_g01__1_1_6 PUNC n1_a_lob_g01__1_1->n1_a_lob_g01__1_1_6 n1_a_lob_g01__1_1_1->n1_a_lob_g01__1_1_1_1 n1_a_lob_g01__1_1_2_1 ADJ n1_a_lob_g01__1_1_2->n1_a_lob_g01__1_1_2_1 n1_a_lob_g01__1_1_2_1->n1_a_lob_g01__1_1_2_1_1 n1_a_lob_g01__1_1_3->n1_a_lob_g01__1_1_3_1 n1_a_lob_g01__1_1_4->n1_a_lob_g01__1_1_4_1 n1_a_lob_g01__1_1_5_1 NP-PRD n1_a_lob_g01__1_1_5->n1_a_lob_g01__1_1_5_1 n1_a_lob_g01__1_1_5_1_1 N n1_a_lob_g01__1_1_5_1->n1_a_lob_g01__1_1_5_1_1 n1_a_lob_g01__1_1_5_1_2 NPR n1_a_lob_g01__1_1_5_1->n1_a_lob_g01__1_1_5_1_2 n1_a_lob_g01__1_1_5_1_3 NPR n1_a_lob_g01__1_1_5_1->n1_a_lob_g01__1_1_5_1_3 n1_a_lob_g01__1_1_5_1_1->n1_a_lob_g01__1_1_5_1_1_1 n1_a_lob_g01__1_1_5_1_2->n1_a_lob_g01__1_1_5_1_2_1 n1_a_lob_g01__1_1_5_1_3->n1_a_lob_g01__1_1_5_1_3_1 n1_a_lob_g01__1_1_6->n1_a_lob_g01__1_1_6_1 n1_a_lob_g01__1_2->n1_a_lob_g01__1_2_1 n1_a_lob_g01__1_3_1 NP-LGS n1_a_lob_g01__1_3->n1_a_lob_g01__1_3_1 n1_a_lob_g01__1_3_2 VVN;_Tn_ n1_a_lob_g01__1_3->n1_a_lob_g01__1_3_2 n1_a_lob_g01__1_3_3 PP-NIM n1_a_lob_g01__1_3->n1_a_lob_g01__1_3_3 n1_a_lob_g01__1_3_1->n1_a_lob_g01__1_3_1_1 n1_a_lob_g01__1_3_2->n1_a_lob_g01__1_3_2_1 n1_a_lob_g01__1_3_3_1 P-ROLE n1_a_lob_g01__1_3_3->n1_a_lob_g01__1_3_3_1 n1_a_lob_g01__1_3_3_2 NP n1_a_lob_g01__1_3_3->n1_a_lob_g01__1_3_3_2 n1_a_lob_g01__1_3_3_1->n1_a_lob_g01__1_3_3_1_1 n1_a_lob_g01__1_3_3_2_1 NPR n1_a_lob_g01__1_3_3_2->n1_a_lob_g01__1_3_3_2_1 n1_a_lob_g01__1_3_3_2_1->n1_a_lob_g01__1_3_3_2_1_1 n1_a_lob_g01__1_4->n1_a_lob_g01__1_4_1 
( (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))