Context                Previous, Next                Top


31_a_major_case
In any normal case, it would be all but inconceivable that a court in these circumstances would reach any conclusion other than that (i) the “legislative programme” explanation must be, at best, materially incomplete, and (ii) the decision was in fact substantially motivated by a desire to obstruct Parliament from interfering with the Prime Minister's plans.

%3 r_0031_0002__any_r_0031_0004__case any case r_0031_0003__normal normal r_0031_0002__any_r_0031_0004__case->r_0031_0003__normal [attrib] r_0031_0007__would would r_0031_0007__would->r_0031_0002__any_r_0031_0004__case In [nim] r_0031_0008__be be r_0031_0007__would->r_0031_0008__be [scope] r_0031_0010__inconceivable inconceivable r_0031_0008__be->r_0031_0010__inconceivable [prd] r_0031_0011__that_r_0031_0017__would that would r_0031_0008__be->r_0031_0011__that_r_0031_0017__would [arg0] r_0031_0009__all_but all but r_0031_0010__inconceivable->r_0031_0009__all_but [qual] r_0031_0018__reach reach r_0031_0011__that_r_0031_0017__would->r_0031_0018__reach [scope] r_0031_0012__a_r_0031_0013__court a court r_0031_0018__reach->r_0031_0012__a_r_0031_0013__court [arg0] r_0031_0019__any_r_0031_0020__conclusion any conclusion r_0031_0018__reach->r_0031_0019__any_r_0031_0020__conclusion [arg1] r_0031_0015__these_r_0031_0016__circumstances these circumstances r_0031_0012__a_r_0031_0013__court->r_0031_0015__these_r_0031_0016__circumstances in r_0031_0021__other other r_0031_0019__any_r_0031_0020__conclusion->r_0031_0021__other [attrib] 
arc(r_0031_0002__any_r_0031_0004__case, r_0031_0003__normal, attrib8).
arc(r_0031_0007__would, r_0031_0002__any_r_0031_0004__case, r_0031_0001__In_nim5).
arc(r_0031_0007__would, r_0031_0008__be, scope).
arc(r_0031_0008__be, r_0031_0010__inconceivable, prd).
arc(r_0031_0008__be, r_0031_0011__that_r_0031_0017__would, arg0).
arc(r_0031_0010__inconceivable, r_0031_0009__all_but, qual24).
arc(r_0031_0011__that_r_0031_0017__would, r_0031_0018__reach, scope).
arc(r_0031_0012__a_r_0031_0013__court, r_0031_0015__these_r_0031_0016__circumstances, r_0031_0014__in).
arc(r_0031_0018__reach, r_0031_0012__a_r_0031_0013__court, arg0).
arc(r_0031_0018__reach, r_0031_0019__any_r_0031_0020__conclusion, arg1).
arc(r_0031_0019__any_r_0031_0020__conclusion, r_0031_0021__other, attrib56).


%3 r_0031_0002__any_r_0031_0004__case any case r_0031_0003__normal normal r_0031_0002__any_r_0031_0004__case->r_0031_0003__normal [attrib] r_0031_0007__would_r_0031_0008__be would be r_0031_0007__would_r_0031_0008__be->r_0031_0002__any_r_0031_0004__case In [nim] r_0031_0010__inconceivable inconceivable r_0031_0007__would_r_0031_0008__be->r_0031_0010__inconceivable [prd] r_0031_0011__that_r_0031_0017__would_r_0031_0018__reach that would reach r_0031_0007__would_r_0031_0008__be->r_0031_0011__that_r_0031_0017__would_r_0031_0018__reach [arg0] r_0031_0009__all_but all but r_0031_0010__inconceivable->r_0031_0009__all_but [qual] r_0031_0012__a_r_0031_0013__court a court r_0031_0011__that_r_0031_0017__would_r_0031_0018__reach->r_0031_0012__a_r_0031_0013__court [arg0] r_0031_0019__any_r_0031_0020__conclusion any conclusion r_0031_0011__that_r_0031_0017__would_r_0031_0018__reach->r_0031_0019__any_r_0031_0020__conclusion [arg1] r_0031_0015__these_r_0031_0016__circumstances these circumstances r_0031_0012__a_r_0031_0013__court->r_0031_0015__these_r_0031_0016__circumstances in r_0031_0021__other other r_0031_0019__any_r_0031_0020__conclusion->r_0031_0021__other [attrib] 
fof(formula,axiom,
    ? [R_31_7_WOULD_BE,R_31_11_THAT_WOULD_REACH,R_31_12_A_COURT,R_31_15_THESE_CIRCUMSTANCES,R_31_19_ANY_CONCLUSION,R_31_21_OTHER,R_31_10_INCONCEIVABLE,R_31_9_ALL_BUT,R_31_2_ANY_CASE,R_31_3_NORMAL] :
      ( these_circumstances(R_31_15_THESE_CIRCUMSTANCES)
      & other(R_31_21_OTHER)
      & all_but(R_31_9_ALL_BUT)
      & normal(R_31_3_NORMAL)
      & would_be(R_31_7_WOULD_BE,R_31_11_THAT_WOULD_REACH,R_31_10_INCONCEIVABLE)
      & that_would_reach(R_31_11_THAT_WOULD_REACH,R_31_12_A_COURT,R_31_19_ANY_CONCLUSION)
      & a_court(R_31_12_A_COURT)
      & in(R_31_12_A_COURT,R_31_15_THESE_CIRCUMSTANCES)
      & any_conclusion(R_31_19_ANY_CONCLUSION)
      & attrib56(R_31_19_ANY_CONCLUSION,R_31_21_OTHER)
      & inconceivable(R_31_10_INCONCEIVABLE)
      & qual24(R_31_10_INCONCEIVABLE,R_31_9_ALL_BUT)
      & in_nim5(R_31_7_WOULD_BE,R_31_2_ANY_CASE)
      & any_case(R_31_2_ANY_CASE)
      & attrib8(R_31_2_ANY_CASE,R_31_3_NORMAL) ) ).


n31_a_major_case n31_a_major_case_4 In n31_a_major_case_7 any n31_a_major_case_10 normal n31_a_major_case_12 case n31_a_major_case_14 , n31_a_major_case_17 it n31_a_major_case_19 would n31_a_major_case_22 be n31_a_major_case_26 all_but n31_a_major_case_28 inconceivable n31_a_major_case_32 that n31_a_major_case_35 a n31_a_major_case_37 court n31_a_major_case_40 in n31_a_major_case_43 these n31_a_major_case_45 circumstances n31_a_major_case_47 would n31_a_major_case_50 reach n31_a_major_case_53 any n31_a_major_case_55 conclusion n31_a_major_case_58 other n31_a_major_case_61 than n31_a_major_case_65 that n31_a_major_case_70 -LRB- n31_a_major_case_72 i n31_a_major_case_74 -RRB- n31_a_major_case_77 the n31_a_major_case_79 <ldquo> n31_a_major_case_82 legislative n31_a_major_case_84 programme n31_a_major_case_86 <rdquo> n31_a_major_case_88 explanation n31_a_major_case_90 must n31_a_major_case_93 be n31_a_major_case_95 , n31_a_major_case_98 at_best n31_a_major_case_100 , n31_a_major_case_104 materially n31_a_major_case_106 incomplete n31_a_major_case_108 , n31_a_major_case_111 and n31_a_major_case_115 -LRB- n31_a_major_case_117 ii n31_a_major_case_119 -RRB- n31_a_major_case_122 the n31_a_major_case_124 decision n31_a_major_case_126 was n31_a_major_case_129 in_fact n31_a_major_case_133 substantially n31_a_major_case_135 motivated n31_a_major_case_138 by n31_a_major_case_141 a n31_a_major_case_143 desire n31_a_major_case_146 to n31_a_major_case_148 obstruct n31_a_major_case_151 Parliament n31_a_major_case_154 from n31_a_major_case_157 interfering n31_a_major_case_160 with n31_a_major_case_164 the n31_a_major_case_166 Prime n31_a_major_case_168 Minister n31_a_major_case_170 's n31_a_major_case_172 plans n31_a_major_case_174 . n31_a_major_case_1 IP-MAT n31_a_major_case_2 PP-NIM n31_a_major_case_1->n31_a_major_case_2 n31_a_major_case_13 PUNC n31_a_major_case_1->n31_a_major_case_13 n31_a_major_case_15 NP-SBJ n31_a_major_case_1->n31_a_major_case_15 n31_a_major_case_18 MD;_cat_Vi_ n31_a_major_case_1->n31_a_major_case_18 n31_a_major_case_20 IP-INF-CAT n31_a_major_case_1->n31_a_major_case_20 n31_a_major_case_173 PUNC n31_a_major_case_1->n31_a_major_case_173 n31_a_major_case_3 P-ROLE n31_a_major_case_2->n31_a_major_case_3 n31_a_major_case_5 NP n31_a_major_case_2->n31_a_major_case_5 n31_a_major_case_3->n31_a_major_case_4 n31_a_major_case_6 D n31_a_major_case_5->n31_a_major_case_6 n31_a_major_case_8 ADJP n31_a_major_case_5->n31_a_major_case_8 n31_a_major_case_11 N n31_a_major_case_5->n31_a_major_case_11 n31_a_major_case_6->n31_a_major_case_7 n31_a_major_case_9 ADJ n31_a_major_case_8->n31_a_major_case_9 n31_a_major_case_9->n31_a_major_case_10 n31_a_major_case_11->n31_a_major_case_12 n31_a_major_case_13->n31_a_major_case_14 n31_a_major_case_16 PRO;_provisional_ n31_a_major_case_15->n31_a_major_case_16 n31_a_major_case_16->n31_a_major_case_17 n31_a_major_case_18->n31_a_major_case_19 n31_a_major_case_21 BE;_La_ n31_a_major_case_20->n31_a_major_case_21 n31_a_major_case_23 ADJP-PRD n31_a_major_case_20->n31_a_major_case_23 n31_a_major_case_29 CP-THT-NSBJ n31_a_major_case_20->n31_a_major_case_29 n31_a_major_case_21->n31_a_major_case_22 n31_a_major_case_24 ADVP n31_a_major_case_23->n31_a_major_case_24 n31_a_major_case_27 ADJ n31_a_major_case_23->n31_a_major_case_27 n31_a_major_case_25 ADV n31_a_major_case_24->n31_a_major_case_25 n31_a_major_case_25->n31_a_major_case_26 n31_a_major_case_27->n31_a_major_case_28 n31_a_major_case_30 IP-SUB n31_a_major_case_29->n31_a_major_case_30 n31_a_major_case_31 C n31_a_major_case_30->n31_a_major_case_31 n31_a_major_case_33 NP-SBJ n31_a_major_case_30->n31_a_major_case_33 n31_a_major_case_46 MD;_cat_Vi_ n31_a_major_case_30->n31_a_major_case_46 n31_a_major_case_48 IP-INF-CAT n31_a_major_case_30->n31_a_major_case_48 n31_a_major_case_31->n31_a_major_case_32 n31_a_major_case_34 D n31_a_major_case_33->n31_a_major_case_34 n31_a_major_case_36 N n31_a_major_case_33->n31_a_major_case_36 n31_a_major_case_38 PP n31_a_major_case_33->n31_a_major_case_38 n31_a_major_case_34->n31_a_major_case_35 n31_a_major_case_36->n31_a_major_case_37 n31_a_major_case_39 P-ROLE n31_a_major_case_38->n31_a_major_case_39 n31_a_major_case_41 NP n31_a_major_case_38->n31_a_major_case_41 n31_a_major_case_39->n31_a_major_case_40 n31_a_major_case_42 D n31_a_major_case_41->n31_a_major_case_42 n31_a_major_case_44 NS n31_a_major_case_41->n31_a_major_case_44 n31_a_major_case_42->n31_a_major_case_43 n31_a_major_case_44->n31_a_major_case_45 n31_a_major_case_46->n31_a_major_case_47 n31_a_major_case_49 VB;__ n31_a_major_case_48->n31_a_major_case_49 n31_a_major_case_51 NP-OB1 n31_a_major_case_48->n31_a_major_case_51 n31_a_major_case_49->n31_a_major_case_50 n31_a_major_case_52 D n31_a_major_case_51->n31_a_major_case_52 n31_a_major_case_54 N n31_a_major_case_51->n31_a_major_case_54 n31_a_major_case_56 ADJP n31_a_major_case_51->n31_a_major_case_56 n31_a_major_case_52->n31_a_major_case_53 n31_a_major_case_54->n31_a_major_case_55 n31_a_major_case_57 ADJ n31_a_major_case_56->n31_a_major_case_57 n31_a_major_case_59 PP n31_a_major_case_56->n31_a_major_case_59 n31_a_major_case_57->n31_a_major_case_58 n31_a_major_case_60 P-ROLE n31_a_major_case_59->n31_a_major_case_60 n31_a_major_case_62 CP-THT n31_a_major_case_59->n31_a_major_case_62 n31_a_major_case_60->n31_a_major_case_61 n31_a_major_case_63 IP-SUB n31_a_major_case_62->n31_a_major_case_63 n31_a_major_case_64 C n31_a_major_case_63->n31_a_major_case_64 n31_a_major_case_66 ILYR n31_a_major_case_63->n31_a_major_case_66 n31_a_major_case_64->n31_a_major_case_65 n31_a_major_case_67 ILYR n31_a_major_case_66->n31_a_major_case_67 n31_a_major_case_107 PUNC n31_a_major_case_66->n31_a_major_case_107 n31_a_major_case_109 CONJP n31_a_major_case_66->n31_a_major_case_109 n31_a_major_case_68 LST n31_a_major_case_67->n31_a_major_case_68 n31_a_major_case_75 NP-SBJ n31_a_major_case_67->n31_a_major_case_75 n31_a_major_case_89 MD;_cat_Vi_ n31_a_major_case_67->n31_a_major_case_89 n31_a_major_case_91 IP-INF-CAT n31_a_major_case_67->n31_a_major_case_91 n31_a_major_case_69 PULB n31_a_major_case_68->n31_a_major_case_69 n31_a_major_case_71 LS n31_a_major_case_68->n31_a_major_case_71 n31_a_major_case_73 PURB n31_a_major_case_68->n31_a_major_case_73 n31_a_major_case_69->n31_a_major_case_70 n31_a_major_case_71->n31_a_major_case_72 n31_a_major_case_73->n31_a_major_case_74 n31_a_major_case_76 D n31_a_major_case_75->n31_a_major_case_76 n31_a_major_case_78 PULQ n31_a_major_case_75->n31_a_major_case_78 n31_a_major_case_80 ADJP n31_a_major_case_75->n31_a_major_case_80 n31_a_major_case_83 N n31_a_major_case_75->n31_a_major_case_83 n31_a_major_case_85 PURQ n31_a_major_case_75->n31_a_major_case_85 n31_a_major_case_87 N n31_a_major_case_75->n31_a_major_case_87 n31_a_major_case_76->n31_a_major_case_77 n31_a_major_case_78->n31_a_major_case_79 n31_a_major_case_81 ADJ n31_a_major_case_80->n31_a_major_case_81 n31_a_major_case_81->n31_a_major_case_82 n31_a_major_case_83->n31_a_major_case_84 n31_a_major_case_85->n31_a_major_case_86 n31_a_major_case_87->n31_a_major_case_88 n31_a_major_case_89->n31_a_major_case_90 n31_a_major_case_92 BE;_La_ n31_a_major_case_91->n31_a_major_case_92 n31_a_major_case_94 PUNC n31_a_major_case_91->n31_a_major_case_94 n31_a_major_case_96 ADVP-NIM n31_a_major_case_91->n31_a_major_case_96 n31_a_major_case_99 PUNC n31_a_major_case_91->n31_a_major_case_99 n31_a_major_case_101 ADJP-PRD n31_a_major_case_91->n31_a_major_case_101 n31_a_major_case_92->n31_a_major_case_93 n31_a_major_case_94->n31_a_major_case_95 n31_a_major_case_97 ADV n31_a_major_case_96->n31_a_major_case_97 n31_a_major_case_97->n31_a_major_case_98 n31_a_major_case_99->n31_a_major_case_100 n31_a_major_case_102 ADVP n31_a_major_case_101->n31_a_major_case_102 n31_a_major_case_105 ADJ n31_a_major_case_101->n31_a_major_case_105 n31_a_major_case_103 ADV n31_a_major_case_102->n31_a_major_case_103 n31_a_major_case_103->n31_a_major_case_104 n31_a_major_case_105->n31_a_major_case_106 n31_a_major_case_107->n31_a_major_case_108 n31_a_major_case_110 CONJ n31_a_major_case_109->n31_a_major_case_110 n31_a_major_case_112 ILYR n31_a_major_case_109->n31_a_major_case_112 n31_a_major_case_110->n31_a_major_case_111 n31_a_major_case_113 LST n31_a_major_case_112->n31_a_major_case_113 n31_a_major_case_120 NP-SBJ n31_a_major_case_112->n31_a_major_case_120 n31_a_major_case_125 BED;_cat_VePASS_ n31_a_major_case_112->n31_a_major_case_125 n31_a_major_case_127 ADVP-NIM n31_a_major_case_112->n31_a_major_case_127 n31_a_major_case_130 IP-PPL-CAT n31_a_major_case_112->n31_a_major_case_130 n31_a_major_case_114 PULB n31_a_major_case_113->n31_a_major_case_114 n31_a_major_case_116 LS n31_a_major_case_113->n31_a_major_case_116 n31_a_major_case_118 PURB n31_a_major_case_113->n31_a_major_case_118 n31_a_major_case_114->n31_a_major_case_115 n31_a_major_case_116->n31_a_major_case_117 n31_a_major_case_118->n31_a_major_case_119 n31_a_major_case_121 D n31_a_major_case_120->n31_a_major_case_121 n31_a_major_case_123 N n31_a_major_case_120->n31_a_major_case_123 n31_a_major_case_121->n31_a_major_case_122 n31_a_major_case_123->n31_a_major_case_124 n31_a_major_case_125->n31_a_major_case_126 n31_a_major_case_128 ADV n31_a_major_case_127->n31_a_major_case_128 n31_a_major_case_128->n31_a_major_case_129 n31_a_major_case_131 ADVP-NIM n31_a_major_case_130->n31_a_major_case_131 n31_a_major_case_134 VVN;__ n31_a_major_case_130->n31_a_major_case_134 n31_a_major_case_136 PP-LGS n31_a_major_case_130->n31_a_major_case_136 n31_a_major_case_132 ADV n31_a_major_case_131->n31_a_major_case_132 n31_a_major_case_132->n31_a_major_case_133 n31_a_major_case_134->n31_a_major_case_135 n31_a_major_case_137 P-ROLE;_lgs_ n31_a_major_case_136->n31_a_major_case_137 n31_a_major_case_139 NP n31_a_major_case_136->n31_a_major_case_139 n31_a_major_case_137->n31_a_major_case_138 n31_a_major_case_140 D n31_a_major_case_139->n31_a_major_case_140 n31_a_major_case_142 N n31_a_major_case_139->n31_a_major_case_142 n31_a_major_case_144 IP-INF n31_a_major_case_139->n31_a_major_case_144 n31_a_major_case_140->n31_a_major_case_141 n31_a_major_case_142->n31_a_major_case_143 n31_a_major_case_145 TO n31_a_major_case_144->n31_a_major_case_145 n31_a_major_case_147 VB;__ n31_a_major_case_144->n31_a_major_case_147 n31_a_major_case_149 NP-OB1 n31_a_major_case_144->n31_a_major_case_149 n31_a_major_case_152 PP-NIM n31_a_major_case_144->n31_a_major_case_152 n31_a_major_case_145->n31_a_major_case_146 n31_a_major_case_147->n31_a_major_case_148 n31_a_major_case_150 NPR n31_a_major_case_149->n31_a_major_case_150 n31_a_major_case_150->n31_a_major_case_151 n31_a_major_case_153 P-ROLE n31_a_major_case_152->n31_a_major_case_153 n31_a_major_case_155 IP-PPL n31_a_major_case_152->n31_a_major_case_155 n31_a_major_case_153->n31_a_major_case_154 n31_a_major_case_156 VAG;__ n31_a_major_case_155->n31_a_major_case_156 n31_a_major_case_158 PP-CLR n31_a_major_case_155->n31_a_major_case_158 n31_a_major_case_156->n31_a_major_case_157 n31_a_major_case_159 P-ROLE n31_a_major_case_158->n31_a_major_case_159 n31_a_major_case_161 NP n31_a_major_case_158->n31_a_major_case_161 n31_a_major_case_159->n31_a_major_case_160 n31_a_major_case_162 NP-GEN n31_a_major_case_161->n31_a_major_case_162 n31_a_major_case_171 NS n31_a_major_case_161->n31_a_major_case_171 n31_a_major_case_163 D n31_a_major_case_162->n31_a_major_case_163 n31_a_major_case_165 NPR n31_a_major_case_162->n31_a_major_case_165 n31_a_major_case_167 NPR n31_a_major_case_162->n31_a_major_case_167 n31_a_major_case_169 GENM n31_a_major_case_162->n31_a_major_case_169 n31_a_major_case_163->n31_a_major_case_164 n31_a_major_case_165->n31_a_major_case_166 n31_a_major_case_167->n31_a_major_case_168 n31_a_major_case_169->n31_a_major_case_170 n31_a_major_case_171->n31_a_major_case_172 n31_a_major_case_173->n31_a_major_case_174 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D any;{any})
                      (ADJP (ADJ normal;{normal}))
                      (N case;{case})))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADVP (ADV all_but;{all_but}))
                                (ADJ inconceivable;{inconceivable}))
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (D a;{a})
                                                   (N court;{court})
                                                   (PP (P-ROLE in;{in})
                                                       (NP (D these;{these})
                                                           (NS circumstances;{circumstance}))))
                                           (MD;_cat_Vi_ would;{will})
                                           (IP-INF-CAT (VB;__ reach;{reach})
                                                       (NP-OB1 (D any;{any})
                                                               (N conclusion;{conclusion})
                                                               (ADJP (ADJ other;{other})
                                                                     (PP (P-ROLE than;{than})
                                                                         (CP-THT (IP-SUB (C that;{that})
                                                                                         (ILYR (ILYR (LST (PULB -LRB-)
                                                                                                          (LS i)
                                                                                                          (PURB -RRB-))
                                                                                                     (NP-SBJ (D the;{the})
                                                                                                             (PULQ <ldquo>)
                                                                                                             (ADJP (ADJ legislative;{legislative}))
                                                                                                             (N programme;{programme})
                                                                                                             (PURQ <rdquo>)
                                                                                                             (N explanation;{explanation}))
                                                                                                     (MD;_cat_Vi_ must;{must})
                                                                                                     (IP-INF-CAT (BE;_La_ be;{be})
                                                                                                                 (PUNC ,)
                                                                                                                 (ADVP-NIM (ADV at_best;{at_best}))
                                                                                                                 (PUNC ,)
                                                                                                                 (ADJP-PRD (ADVP (ADV materially;{materially}))
                                                                                                                           (ADJ incomplete;{incomplete}))))
                                                                                               (PUNC ,)
                                                                                               (CONJP (CONJ and;{and})
                                                                                                      (ILYR (LST (PULB -LRB-)
                                                                                                                 (LS ii)
                                                                                                                 (PURB -RRB-))
                                                                                                            (NP-SBJ (D the;{the})
                                                                                                                    (N decision;{decision}))
                                                                                                            (BED;_cat_VePASS_ was;{be})
                                                                                                            (ADVP-NIM (ADV in_fact;{in_fact}))
                                                                                                            (IP-PPL-CAT (ADVP-NIM (ADV substantially;{substantially}))
                                                                                                                        (VVN;__ motivated;{motivate})
                                                                                                                        (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                                                                (NP (D a;{a})
                                                                                                                                    (N desire;{desire})
                                                                                                                                    (IP-INF (TO to;{to})
                                                                                                                                            (VB;__ obstruct;{obstruct})
                                                                                                                                            (NP-OB1 (NPR Parliament;{Parliament}))
                                                                                                                                            (PP-NIM (P-ROLE from;{from})
                                                                                                                                                    (IP-PPL (VAG;__ interfering;{interfere})
                                                                                                                                                            (PP-CLR (P-ROLE with;{with})
                                                                                                                                                                    (NP (NP-GEN;{JOHNSON} (D the;{the})
                                                                                                                                                                                          (NPR Prime;{Prime})
                                                                                                                                                                                          (NPR Minister;{Minister})
                                                                                                                                                                                          (GENM <apos>s))
                                                                                                                                                                        (NS plans;{plan})))))))))))))))))))))
          (PUNC .))
  (ID 31_a_major_case))