Context                Previous, Next                Top


53_a_uksc_judgment
It follows that the decision was unlawful.

%3 r_0053_0002__follows follows r_0053_0003__that_r_0053_0006__was that was r_0053_0002__follows->r_0053_0003__that_r_0053_0006__was [arg0] r_0053_0004__the_r_0053_0005__decision the decision r_0053_0003__that_r_0053_0006__was->r_0053_0004__the_r_0053_0005__decision [arg0] r_0053_0007__unlawful unlawful r_0053_0003__that_r_0053_0006__was->r_0053_0007__unlawful [prd] 
arc(r_0053_0002__follows, r_0053_0003__that_r_0053_0006__was, arg0).
arc(r_0053_0003__that_r_0053_0006__was, r_0053_0004__the_r_0053_0005__decision, arg0).
arc(r_0053_0003__that_r_0053_0006__was, r_0053_0007__unlawful, prd).


%3 r_0053_0002__follows follows r_0053_0003__that_r_0053_0006__was that was r_0053_0002__follows->r_0053_0003__that_r_0053_0006__was [arg0] r_0053_0004__the_r_0053_0005__decision the decision r_0053_0003__that_r_0053_0006__was->r_0053_0004__the_r_0053_0005__decision [arg0] r_0053_0007__unlawful unlawful r_0053_0003__that_r_0053_0006__was->r_0053_0007__unlawful [prd] 
fof(formula,axiom,
    ? [R_53_2_FOLLOWS,R_53_3_THAT_WAS,R_53_4_THE_DECISION,R_53_7_UNLAWFUL] :
      ( the_decision(R_53_4_THE_DECISION)
      & unlawful(R_53_7_UNLAWFUL)
      & follows(R_53_2_FOLLOWS,R_53_3_THAT_WAS)
      & that_was(R_53_3_THAT_WAS,R_53_4_THE_DECISION,R_53_7_UNLAWFUL) ) ).


n53_a_uksc_judgment n53_a_uksc_judgment_4 It n53_a_uksc_judgment_6 follows n53_a_uksc_judgment_10 that n53_a_uksc_judgment_13 the n53_a_uksc_judgment_15 decision n53_a_uksc_judgment_17 was n53_a_uksc_judgment_20 unlawful n53_a_uksc_judgment_22 . n53_a_uksc_judgment_1 IP-MAT n53_a_uksc_judgment_2 NP-SBJ n53_a_uksc_judgment_1->n53_a_uksc_judgment_2 n53_a_uksc_judgment_5 VBP;_I_ n53_a_uksc_judgment_1->n53_a_uksc_judgment_5 n53_a_uksc_judgment_7 CP-THT-NSBJ n53_a_uksc_judgment_1->n53_a_uksc_judgment_7 n53_a_uksc_judgment_21 PUNC n53_a_uksc_judgment_1->n53_a_uksc_judgment_21 n53_a_uksc_judgment_3 PRO;_provisional_ n53_a_uksc_judgment_2->n53_a_uksc_judgment_3 n53_a_uksc_judgment_3->n53_a_uksc_judgment_4 n53_a_uksc_judgment_5->n53_a_uksc_judgment_6 n53_a_uksc_judgment_8 IP-SUB n53_a_uksc_judgment_7->n53_a_uksc_judgment_8 n53_a_uksc_judgment_9 C n53_a_uksc_judgment_8->n53_a_uksc_judgment_9 n53_a_uksc_judgment_11 NP-SBJ n53_a_uksc_judgment_8->n53_a_uksc_judgment_11 n53_a_uksc_judgment_16 BED;_La_ n53_a_uksc_judgment_8->n53_a_uksc_judgment_16 n53_a_uksc_judgment_18 ADJP-PRD n53_a_uksc_judgment_8->n53_a_uksc_judgment_18 n53_a_uksc_judgment_9->n53_a_uksc_judgment_10 n53_a_uksc_judgment_12 D n53_a_uksc_judgment_11->n53_a_uksc_judgment_12 n53_a_uksc_judgment_14 N n53_a_uksc_judgment_11->n53_a_uksc_judgment_14 n53_a_uksc_judgment_12->n53_a_uksc_judgment_13 n53_a_uksc_judgment_14->n53_a_uksc_judgment_15 n53_a_uksc_judgment_16->n53_a_uksc_judgment_17 n53_a_uksc_judgment_19 ADJ n53_a_uksc_judgment_18->n53_a_uksc_judgment_19 n53_a_uksc_judgment_19->n53_a_uksc_judgment_20 n53_a_uksc_judgment_21->n53_a_uksc_judgment_22 
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (VBP;_I_ follows;{follow})
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ (D the;{the})
                                       (N decision;{decision}))
                               (BED;_La_ was;{be})
                               (ADJP-PRD (ADJ unlawful;{unlawful}))))
          (PUNC .))
  (ID 53_a_uksc_judgment))