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_0003__that_r_0053_0006__was that was r_0053_0007__unlawful unlawful r_0053_0003__that_r_0053_0006__was->r_0053_0007__unlawful [prd] 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_0002__follows follows r_0053_0002__follows->r_0053_0003__that_r_0053_0006__was [arg0] 
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__1_1_1_1 It n53_a_uksc_judgment__1_2_1 follows n53_a_uksc_judgment__1_3_1_1_1 that n53_a_uksc_judgment__1_3_1_2_1_1 the n53_a_uksc_judgment__1_3_1_2_2_1 decision n53_a_uksc_judgment__1_3_1_3_1 was n53_a_uksc_judgment__1_3_1_4_1_1 unlawful n53_a_uksc_judgment__1_4_1 . n53_a_uksc_judgment__1 IP-MAT n53_a_uksc_judgment__1_1 NP-SBJ n53_a_uksc_judgment__1->n53_a_uksc_judgment__1_1 n53_a_uksc_judgment__1_2 VBP;_I_ n53_a_uksc_judgment__1->n53_a_uksc_judgment__1_2 n53_a_uksc_judgment__1_3 CP-THT-NSBJ n53_a_uksc_judgment__1->n53_a_uksc_judgment__1_3 n53_a_uksc_judgment__1_4 PUNC n53_a_uksc_judgment__1->n53_a_uksc_judgment__1_4 n53_a_uksc_judgment__1_1_1 PRO;_provisional_ n53_a_uksc_judgment__1_1->n53_a_uksc_judgment__1_1_1 n53_a_uksc_judgment__1_1_1->n53_a_uksc_judgment__1_1_1_1 n53_a_uksc_judgment__1_2->n53_a_uksc_judgment__1_2_1 n53_a_uksc_judgment__1_3_1 IP-SUB n53_a_uksc_judgment__1_3->n53_a_uksc_judgment__1_3_1 n53_a_uksc_judgment__1_3_1_1 C n53_a_uksc_judgment__1_3_1->n53_a_uksc_judgment__1_3_1_1 n53_a_uksc_judgment__1_3_1_2 NP-SBJ n53_a_uksc_judgment__1_3_1->n53_a_uksc_judgment__1_3_1_2 n53_a_uksc_judgment__1_3_1_3 BED;_La_ n53_a_uksc_judgment__1_3_1->n53_a_uksc_judgment__1_3_1_3 n53_a_uksc_judgment__1_3_1_4 ADJP-PRD n53_a_uksc_judgment__1_3_1->n53_a_uksc_judgment__1_3_1_4 n53_a_uksc_judgment__1_3_1_1->n53_a_uksc_judgment__1_3_1_1_1 n53_a_uksc_judgment__1_3_1_2_1 D n53_a_uksc_judgment__1_3_1_2->n53_a_uksc_judgment__1_3_1_2_1 n53_a_uksc_judgment__1_3_1_2_2 N n53_a_uksc_judgment__1_3_1_2->n53_a_uksc_judgment__1_3_1_2_2 n53_a_uksc_judgment__1_3_1_2_1->n53_a_uksc_judgment__1_3_1_2_1_1 n53_a_uksc_judgment__1_3_1_2_2->n53_a_uksc_judgment__1_3_1_2_2_1 n53_a_uksc_judgment__1_3_1_3->n53_a_uksc_judgment__1_3_1_3_1 n53_a_uksc_judgment__1_3_1_4_1 ADJ n53_a_uksc_judgment__1_3_1_4->n53_a_uksc_judgment__1_3_1_4_1 n53_a_uksc_judgment__1_3_1_4_1->n53_a_uksc_judgment__1_3_1_4_1_1 n53_a_uksc_judgment__1_4->n53_a_uksc_judgment__1_4_1 
( (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))