Context                Previous, Next                Top


15_a_major_case
Taking only those examples which are in Hansard and therefore a matter of public record:

%3 r_0015_0001__Taking Taking r_0015_0003__those_r_0015_0004__examples those examples r_0015_0001__Taking->r_0015_0003__those_r_0015_0004__examples [arg1] z_000_15_a_major_case_3 r_0015_0001__Taking->z_000_15_a_major_case_3 [arg0] r_0015_0002__only only r_0015_0003__those_r_0015_0004__examples->r_0015_0002__only [qual] r_0015_0006__are are r_0015_0006__are->r_0015_0003__those_r_0015_0004__examples [arg0] r_0015_0008__Hansard Hansard r_0015_0006__are->r_0015_0008__Hansard in [clr] r_0015_0009__and and r_0015_0009__and->r_0015_0006__are [conj1] z_000_15_a_major_case_31 r_0015_0009__and->z_000_15_a_major_case_31 [conj2] z_000_15_a_major_case_31->r_0015_0003__those_r_0015_0004__examples [arg0] r_0015_0011__a_r_0015_0012__matter a matter z_000_15_a_major_case_31->r_0015_0011__a_r_0015_0012__matter [prd] r_0015_0010__therefore therefore z_000_15_a_major_case_31->r_0015_0010__therefore [nim] r_0015_0015__record record r_0015_0011__a_r_0015_0012__matter->r_0015_0015__record of r_0015_0014__public public r_0015_0015__record->r_0015_0014__public [attrib] z_000_15_a_major_case_2 z_000_15_a_major_case_2->r_0015_0001__Taking [restriction] z_000_15_a_major_case_1 z_000_15_a_major_case_2->z_000_15_a_major_case_1 [scope] 
arc(r_0015_0001__Taking, r_0015_0003__those_r_0015_0004__examples, arg1).
arc(r_0015_0001__Taking, z_000_15_a_major_case_3, arg0).
arc(r_0015_0003__those_r_0015_0004__examples, r_0015_0002__only, qual7).
arc(r_0015_0006__are, r_0015_0003__those_r_0015_0004__examples, arg0).
arc(r_0015_0006__are, r_0015_0008__Hansard, r_0015_0007__in_clr25).
arc(r_0015_0009__and, r_0015_0006__are, conj1).
arc(r_0015_0009__and, z_000_15_a_major_case_31, conj2).
arc(r_0015_0011__a_r_0015_0012__matter, r_0015_0015__record, r_0015_0013__of).
arc(r_0015_0015__record, r_0015_0014__public, attrib44).
arc(z_000_15_a_major_case_2, r_0015_0001__Taking, restriction).
arc(z_000_15_a_major_case_2, z_000_15_a_major_case_1, scope).
arc(z_000_15_a_major_case_31, r_0015_0003__those_r_0015_0004__examples, arg0).
arc(z_000_15_a_major_case_31, r_0015_0010__therefore, nim32).
arc(z_000_15_a_major_case_31, r_0015_0011__a_r_0015_0012__matter, prd).


%3 z_000_15_a_major_case_31 r_0015_0011__a_r_0015_0012__matter a matter z_000_15_a_major_case_31->r_0015_0011__a_r_0015_0012__matter [prd] r_0015_0010__therefore therefore z_000_15_a_major_case_31->r_0015_0010__therefore [nim] r_0015_0003__those_r_0015_0004__examples those examples z_000_15_a_major_case_31->r_0015_0003__those_r_0015_0004__examples [arg0] r_0015_0015__record record r_0015_0011__a_r_0015_0012__matter->r_0015_0015__record of r_0015_0002__only only r_0015_0003__those_r_0015_0004__examples->r_0015_0002__only [qual] z_000_15_a_major_case_2 z_000_15_a_major_case_1 z_000_15_a_major_case_2->z_000_15_a_major_case_1 [conj2] r_0015_0001__Taking Taking z_000_15_a_major_case_2->r_0015_0001__Taking [conj1] r_0015_0001__Taking->r_0015_0003__those_r_0015_0004__examples [arg1] z_000_15_a_major_case_3 r_0015_0001__Taking->z_000_15_a_major_case_3 [arg0] r_0015_0014__public public r_0015_0015__record->r_0015_0014__public [attrib] r_0015_0009__and and r_0015_0009__and->z_000_15_a_major_case_31 [conj2] r_0015_0006__are are r_0015_0009__and->r_0015_0006__are [conj1] r_0015_0006__are->r_0015_0003__those_r_0015_0004__examples [arg0] r_0015_0008__Hansard Hansard r_0015_0006__are->r_0015_0008__Hansard in [clr] 
fof(formula,axiom,
    ? [R_15_9_AND,R_15_6_ARE,R_15_8_HANSARD,Z_15_A_MAJOR_CASE_31,R_15_10_THEREFORE,R_15_11_A_MATTER,R_15_15_RECORD,R_15_14_PUBLIC,Z_15_A_MAJOR_CASE_2,R_15_1_TAKING,Z_15_A_MAJOR_CASE_3,R_15_3_THOSE_EXAMPLES,R_15_2_ONLY,Z_15_A_MAJOR_CASE_1] :
      ( hansard(R_15_8_HANSARD)
      & therefore(R_15_10_THEREFORE)
      & public(R_15_14_PUBLIC)
      & only(R_15_2_ONLY)
      & and(R_15_9_AND)
      & conj1(R_15_9_AND,R_15_6_ARE)
      & are(R_15_6_ARE,R_15_3_THOSE_EXAMPLES)
      & those_examples(R_15_3_THOSE_EXAMPLES)
      & qual7(R_15_3_THOSE_EXAMPLES,R_15_2_ONLY)
      & in_clr25(R_15_6_ARE,R_15_8_HANSARD)
      & conj2(R_15_9_AND,Z_15_A_MAJOR_CASE_31)
      & z_15_a_major_case_31(Z_15_A_MAJOR_CASE_31,R_15_3_THOSE_EXAMPLES,R_15_11_A_MATTER)
      & a_matter(R_15_11_A_MATTER)
      & of(R_15_11_A_MATTER,R_15_15_RECORD)
      & record(R_15_15_RECORD)
      & attrib44(R_15_15_RECORD,R_15_14_PUBLIC)
      & nim32(Z_15_A_MAJOR_CASE_31,R_15_10_THEREFORE)
      & z_15_a_major_case_2(Z_15_A_MAJOR_CASE_2)
      & conj1(Z_15_A_MAJOR_CASE_2,R_15_1_TAKING)
      & taking(R_15_1_TAKING,Z_15_A_MAJOR_CASE_3,R_15_3_THOSE_EXAMPLES)
      & conj2(Z_15_A_MAJOR_CASE_2,Z_15_A_MAJOR_CASE_1) ) ).


n15_a_major_case n15_a_major_case__1_1_1_1_1 Taking n15_a_major_case__1_1_1_2_1_1_1 only n15_a_major_case__1_1_1_2_2_1 those n15_a_major_case__1_1_1_2_3_1 examples n15_a_major_case__1_1_1_2_4_1_1_1 which n15_a_major_case__1_1_1_2_4_2_1_1_1 are n15_a_major_case__1_1_1_2_4_2_1_2_1_1 in n15_a_major_case__1_1_1_2_4_2_1_2_2_1_1 Hansard n15_a_major_case__1_1_1_2_4_2_2_1_1 and n15_a_major_case__1_1_1_2_4_2_2_2_1_1_1 therefore n15_a_major_case__1_1_1_2_4_2_2_2_2_1_1 a n15_a_major_case__1_1_1_2_4_2_2_2_2_2_1 matter n15_a_major_case__1_1_1_2_4_2_2_2_2_3_1_1 of n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1_1_1 public n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_2_1 record n15_a_major_case__1_2_1 : n15_a_major_case__1 FRAG n15_a_major_case__1_1 PP-SCON n15_a_major_case__1->n15_a_major_case__1_1 n15_a_major_case__1_2 PUNC n15_a_major_case__1->n15_a_major_case__1_2 n15_a_major_case__1_1_1 IP-PPL3 n15_a_major_case__1_1->n15_a_major_case__1_1_1 n15_a_major_case__1_1_1_1 VAG;__ n15_a_major_case__1_1_1->n15_a_major_case__1_1_1_1 n15_a_major_case__1_1_1_2 NP-OB1 n15_a_major_case__1_1_1->n15_a_major_case__1_1_1_2 n15_a_major_case__1_1_1_1->n15_a_major_case__1_1_1_1_1 n15_a_major_case__1_1_1_2_1 ADVP n15_a_major_case__1_1_1_2->n15_a_major_case__1_1_1_2_1 n15_a_major_case__1_1_1_2_2 D n15_a_major_case__1_1_1_2->n15_a_major_case__1_1_1_2_2 n15_a_major_case__1_1_1_2_3 NS n15_a_major_case__1_1_1_2->n15_a_major_case__1_1_1_2_3 n15_a_major_case__1_1_1_2_4 IP-REL n15_a_major_case__1_1_1_2->n15_a_major_case__1_1_1_2_4 n15_a_major_case__1_1_1_2_1_1 ADV n15_a_major_case__1_1_1_2_1->n15_a_major_case__1_1_1_2_1_1 n15_a_major_case__1_1_1_2_1_1->n15_a_major_case__1_1_1_2_1_1_1 n15_a_major_case__1_1_1_2_2->n15_a_major_case__1_1_1_2_2_1 n15_a_major_case__1_1_1_2_3->n15_a_major_case__1_1_1_2_3_1 n15_a_major_case__1_1_1_2_4_1 NP-SBJ n15_a_major_case__1_1_1_2_4->n15_a_major_case__1_1_1_2_4_1 n15_a_major_case__1_1_1_2_4_2 ILYR n15_a_major_case__1_1_1_2_4->n15_a_major_case__1_1_1_2_4_2 n15_a_major_case__1_1_1_2_4_1_1 RPRO n15_a_major_case__1_1_1_2_4_1->n15_a_major_case__1_1_1_2_4_1_1 n15_a_major_case__1_1_1_2_4_1_1->n15_a_major_case__1_1_1_2_4_1_1_1 n15_a_major_case__1_1_1_2_4_2_1 ILYR n15_a_major_case__1_1_1_2_4_2->n15_a_major_case__1_1_1_2_4_2_1 n15_a_major_case__1_1_1_2_4_2_2 CONJP n15_a_major_case__1_1_1_2_4_2->n15_a_major_case__1_1_1_2_4_2_2 n15_a_major_case__1_1_1_2_4_2_1_1 BEP;_Ipr_ n15_a_major_case__1_1_1_2_4_2_1->n15_a_major_case__1_1_1_2_4_2_1_1 n15_a_major_case__1_1_1_2_4_2_1_2 PP-CLR n15_a_major_case__1_1_1_2_4_2_1->n15_a_major_case__1_1_1_2_4_2_1_2 n15_a_major_case__1_1_1_2_4_2_1_1->n15_a_major_case__1_1_1_2_4_2_1_1_1 n15_a_major_case__1_1_1_2_4_2_1_2_1 P-ROLE n15_a_major_case__1_1_1_2_4_2_1_2->n15_a_major_case__1_1_1_2_4_2_1_2_1 n15_a_major_case__1_1_1_2_4_2_1_2_2 NP n15_a_major_case__1_1_1_2_4_2_1_2->n15_a_major_case__1_1_1_2_4_2_1_2_2 n15_a_major_case__1_1_1_2_4_2_1_2_1->n15_a_major_case__1_1_1_2_4_2_1_2_1_1 n15_a_major_case__1_1_1_2_4_2_1_2_2_1 NPR n15_a_major_case__1_1_1_2_4_2_1_2_2->n15_a_major_case__1_1_1_2_4_2_1_2_2_1 n15_a_major_case__1_1_1_2_4_2_1_2_2_1->n15_a_major_case__1_1_1_2_4_2_1_2_2_1_1 n15_a_major_case__1_1_1_2_4_2_2_1 CONJ n15_a_major_case__1_1_1_2_4_2_2->n15_a_major_case__1_1_1_2_4_2_2_1 n15_a_major_case__1_1_1_2_4_2_2_2 ILYR n15_a_major_case__1_1_1_2_4_2_2->n15_a_major_case__1_1_1_2_4_2_2_2 n15_a_major_case__1_1_1_2_4_2_2_1->n15_a_major_case__1_1_1_2_4_2_2_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_1 ADVP-NIM n15_a_major_case__1_1_1_2_4_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_1 n15_a_major_case__1_1_1_2_4_2_2_2_2 NP-PRD n15_a_major_case__1_1_1_2_4_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2 n15_a_major_case__1_1_1_2_4_2_2_2_1_1 ADV n15_a_major_case__1_1_1_2_4_2_2_2_1->n15_a_major_case__1_1_1_2_4_2_2_2_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_1_1->n15_a_major_case__1_1_1_2_4_2_2_2_1_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_1 D n15_a_major_case__1_1_1_2_4_2_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_2 N n15_a_major_case__1_1_1_2_4_2_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_2 n15_a_major_case__1_1_1_2_4_2_2_2_2_3 PP n15_a_major_case__1_1_1_2_4_2_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_3 n15_a_major_case__1_1_1_2_4_2_2_2_2_1->n15_a_major_case__1_1_1_2_4_2_2_2_2_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_2_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_1 P-ROLE n15_a_major_case__1_1_1_2_4_2_2_2_2_3->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2 NP n15_a_major_case__1_1_1_2_4_2_2_2_2_3->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_1->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1 ADJP n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_2 N n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_2 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1_1 ADJ n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1_1->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_1_1_1 n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_2->n15_a_major_case__1_1_1_2_4_2_2_2_2_3_2_2_1 n15_a_major_case__1_2->n15_a_major_case__1_2_1 
( (FRAG (PP-SCON (IP-PPL3 (VAG;__ Taking;{take})
                          (NP-OB1 (ADVP (ADV only;{only}))
                                  (D those;{those})
                                  (NS examples;{example})
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (ILYR (ILYR (BEP;_Ipr_ are;{be[in]})
                                                      (PP-CLR (P-ROLE in;{in})
                                                              (NP (NPR Hansard;{Hansard}))))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (ADVP-NIM (ADV therefore;{therefore}))
                                                             (NP-PRD (D a;{a})
                                                                     (N matter;{matter})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (ADJP (ADJ public;{public}))
                                                                             (N record;{record})))))))))))
        (PUNC :))
  (ID 15_a_major_case))