15_a_major_case
Taking only those examples which are in Hansard and therefore a matter of public record:
( (FRAG (PP-SCON (IP-PPL (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))
arc(r_0015_0001__Taking,r_0015_0003__those_r_0015_0004__examples,arg1).
arc(r_0015_0001__Taking,z_0015_5004,arg0).
arc(r_0015_0003__those_r_0015_0004__examples,r_0015_0002__only,qual).
arc(r_0015_0006__are_r_0015_0007__in,r_0015_0003__those_r_0015_0004__examples,arg0).
arc(r_0015_0006__are_r_0015_0007__in,r_0015_0008__Hansard,arg1).
arc(r_0015_0009__and,r_0015_0006__are_r_0015_0007__in,conj1).
arc(r_0015_0009__and,z_0015_5012,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,attrib).
arc(z_0015_5001,r_0015_0001__Taking,restriction).
arc(z_0015_5001,z_0015_5016,scope).
arc(z_0015_5012,r_0015_0003__those_r_0015_0004__examples,arg0).
arc(z_0015_5012,r_0015_0010__therefore,nim).
arc(z_0015_5012,r_0015_0011__a_r_0015_0012__matter,prd).
fof(formula,axiom,
? [R_0015_0002__ONLY,R_0015_0003__THOSE_R_0015_0004__EXAMPLES,R_0015_0008__HANSARD,R_0015_0006__ARE_R_0015_0007__IN,R_0015_0010__THEREFORE,R_0015_0014__PUBLIC,R_0015_0015__RECORD,R_0015_0011__A_R_0015_0012__MATTER,Z_0015_5012,R_0015_0009__AND,Z_0015_5004,R_0015_0001__TAKING,Z_0015_5016,Z_0015_5001] :
( r_0015_0002__only(R_0015_0002__ONLY)
& r_0015_0008__Hansard(R_0015_0008__HANSARD)
& r_0015_0010__therefore(R_0015_0010__THEREFORE)
& r_0015_0014__public(R_0015_0014__PUBLIC)
& z_0015_5004(Z_0015_5004)
& z_0015_5016(Z_0015_5016)
& z_0015_5001(Z_0015_5001)
& has_conj2(Z_0015_5001,Z_0015_5016)
& has_conj1(Z_0015_5001,R_0015_0001__TAKING)
& r_0015_0001__Taking(R_0015_0001__TAKING)
& has_arg0(R_0015_0001__TAKING,Z_0015_5004)
& has_arg1(R_0015_0001__TAKING,R_0015_0003__THOSE_R_0015_0004__EXAMPLES)
& r_0015_0003__those_r_0015_0004__examples(R_0015_0003__THOSE_R_0015_0004__EXAMPLES)
& has_qual(R_0015_0003__THOSE_R_0015_0004__EXAMPLES,R_0015_0002__ONLY)
& r_0015_0009__and(R_0015_0009__AND)
& has_conj2(R_0015_0009__AND,Z_0015_5012)
& z_0015_5012(Z_0015_5012)
& has_prd(Z_0015_5012,R_0015_0011__A_R_0015_0012__MATTER)
& r_0015_0011__a_r_0015_0012__matter(R_0015_0011__A_R_0015_0012__MATTER)
& has_r_0015_0013__of(R_0015_0011__A_R_0015_0012__MATTER,R_0015_0015__RECORD)
& r_0015_0015__record(R_0015_0015__RECORD)
& has_attrib(R_0015_0015__RECORD,R_0015_0014__PUBLIC)
& has_nim(Z_0015_5012,R_0015_0010__THEREFORE)
& has_arg0(Z_0015_5012,R_0015_0003__THOSE_R_0015_0004__EXAMPLES)
& has_conj1(R_0015_0009__AND,R_0015_0006__ARE_R_0015_0007__IN)
& r_0015_0006__are_r_0015_0007__in(R_0015_0006__ARE_R_0015_0007__IN)
& has_arg1(R_0015_0006__ARE_R_0015_0007__IN,R_0015_0008__HANSARD)
& has_arg0(R_0015_0006__ARE_R_0015_0007__IN,R_0015_0003__THOSE_R_0015_0004__EXAMPLES) ) ).