Context                Previous, Next                Top


2_a_uksc_judgment
55. Let us remind ourselves of the foundations of our constitution.

%3 r_0002_0002__Let Let r_0002_0003__us us r_0002_0002__Let->r_0002_0003__us [arg1] r_0002_0004__remind remind r_0002_0002__Let->r_0002_0004__remind [prd] z_000_2_a_uksc_judgment_1 r_0002_0002__Let->z_000_2_a_uksc_judgment_1 [arg0] r_0002_0004__remind->r_0002_0003__us [arg1] r_0002_0007__the_r_0002_0008__foundations the foundations r_0002_0004__remind->r_0002_0007__the_r_0002_0008__foundations of [clr] x_000_2_a_uksc_judgment_10 __ r_0002_0004__remind->x_000_2_a_uksc_judgment_10 [arg0] r_0002_0011__constitution constitution r_0002_0007__the_r_0002_0008__foundations->r_0002_0011__constitution of r_0002_0011__constitution->r_0002_0003__us [gen] 
arc(r_0002_0002__Let, r_0002_0003__us, arg1).
arc(r_0002_0002__Let, r_0002_0004__remind, prd).
arc(r_0002_0002__Let, z_000_2_a_uksc_judgment_1, arg0).
arc(r_0002_0004__remind, r_0002_0003__us, arg1).
arc(r_0002_0004__remind, r_0002_0007__the_r_0002_0008__foundations, r_0002_0006__of_clr19).
arc(r_0002_0004__remind, x_000_2_a_uksc_judgment_10, arg0).
arc(r_0002_0007__the_r_0002_0008__foundations, r_0002_0011__constitution, r_0002_0009__of).
arc(r_0002_0011__constitution, r_0002_0003__us, gen).


%3 r_0002_0002__Let Let r_0002_0003__us us r_0002_0002__Let->r_0002_0003__us [arg1] r_0002_0004__remind remind r_0002_0002__Let->r_0002_0004__remind [prd] z_000_2_a_uksc_judgment_1 r_0002_0002__Let->z_000_2_a_uksc_judgment_1 [arg0] r_0002_0004__remind->r_0002_0003__us [arg1] r_0002_0007__the_r_0002_0008__foundations the foundations r_0002_0004__remind->r_0002_0007__the_r_0002_0008__foundations of [clr] x_000_2_a_uksc_judgment_10 __ r_0002_0004__remind->x_000_2_a_uksc_judgment_10 [arg0] r_0002_0011__constitution constitution r_0002_0007__the_r_0002_0008__foundations->r_0002_0011__constitution of r_0002_0011__constitution->r_0002_0003__us [gen] 
fof(formula,axiom,
    ? [R_2_2_LET,Z_2_A_UKSC_JUDGMENT_1,R_2_4_REMIND,X_2_A_UKSC_JUDGMENT_10,R_2_7_THE_FOUNDATIONS,R_2_11_CONSTITUTION,R_2_3_US] :
      ( us(R_2_3_US)
      & let(R_2_2_LET,Z_2_A_UKSC_JUDGMENT_1,R_2_3_US,R_2_4_REMIND)
      & remind(R_2_4_REMIND,X_2_A_UKSC_JUDGMENT_10,R_2_3_US)
      & of_clr19(R_2_4_REMIND,R_2_7_THE_FOUNDATIONS)
      & the_foundations(R_2_7_THE_FOUNDATIONS)
      & of(R_2_7_THE_FOUNDATIONS,R_2_11_CONSTITUTION)
      & constitution(R_2_11_CONSTITUTION)
      & gen(R_2_11_CONSTITUTION,R_2_3_US) ) ).


n2_a_uksc_judgment n2_a_uksc_judgment_4 55. n2_a_uksc_judgment_6 Let n2_a_uksc_judgment_9 us n2_a_uksc_judgment_12 remind n2_a_uksc_judgment_15 ourselves n2_a_uksc_judgment_18 of n2_a_uksc_judgment_21 the n2_a_uksc_judgment_23 foundations n2_a_uksc_judgment_26 of n2_a_uksc_judgment_30 our n2_a_uksc_judgment_32 constitution n2_a_uksc_judgment_34 . n2_a_uksc_judgment_1 IP-IMP n2_a_uksc_judgment_2 LST n2_a_uksc_judgment_1->n2_a_uksc_judgment_2 n2_a_uksc_judgment_5 VB;_Cn.i_ n2_a_uksc_judgment_1->n2_a_uksc_judgment_5 n2_a_uksc_judgment_7 NP-OB1 n2_a_uksc_judgment_1->n2_a_uksc_judgment_7 n2_a_uksc_judgment_10 IP-INF-PRD n2_a_uksc_judgment_1->n2_a_uksc_judgment_10 n2_a_uksc_judgment_33 PUNC n2_a_uksc_judgment_1->n2_a_uksc_judgment_33 n2_a_uksc_judgment_3 LS n2_a_uksc_judgment_2->n2_a_uksc_judgment_3 n2_a_uksc_judgment_3->n2_a_uksc_judgment_4 n2_a_uksc_judgment_5->n2_a_uksc_judgment_6 n2_a_uksc_judgment_8 PRO n2_a_uksc_judgment_7->n2_a_uksc_judgment_8 n2_a_uksc_judgment_8->n2_a_uksc_judgment_9 n2_a_uksc_judgment_11 VB;_Tn.pr_ n2_a_uksc_judgment_10->n2_a_uksc_judgment_11 n2_a_uksc_judgment_13 NP-OB1 n2_a_uksc_judgment_10->n2_a_uksc_judgment_13 n2_a_uksc_judgment_16 PP-CLR n2_a_uksc_judgment_10->n2_a_uksc_judgment_16 n2_a_uksc_judgment_11->n2_a_uksc_judgment_12 n2_a_uksc_judgment_14 PNX n2_a_uksc_judgment_13->n2_a_uksc_judgment_14 n2_a_uksc_judgment_14->n2_a_uksc_judgment_15 n2_a_uksc_judgment_17 P-ROLE n2_a_uksc_judgment_16->n2_a_uksc_judgment_17 n2_a_uksc_judgment_19 NP n2_a_uksc_judgment_16->n2_a_uksc_judgment_19 n2_a_uksc_judgment_17->n2_a_uksc_judgment_18 n2_a_uksc_judgment_20 D n2_a_uksc_judgment_19->n2_a_uksc_judgment_20 n2_a_uksc_judgment_22 NS n2_a_uksc_judgment_19->n2_a_uksc_judgment_22 n2_a_uksc_judgment_24 PP n2_a_uksc_judgment_19->n2_a_uksc_judgment_24 n2_a_uksc_judgment_20->n2_a_uksc_judgment_21 n2_a_uksc_judgment_22->n2_a_uksc_judgment_23 n2_a_uksc_judgment_25 P-ROLE n2_a_uksc_judgment_24->n2_a_uksc_judgment_25 n2_a_uksc_judgment_27 NP n2_a_uksc_judgment_24->n2_a_uksc_judgment_27 n2_a_uksc_judgment_25->n2_a_uksc_judgment_26 n2_a_uksc_judgment_28 NP-GEN n2_a_uksc_judgment_27->n2_a_uksc_judgment_28 n2_a_uksc_judgment_31 N n2_a_uksc_judgment_27->n2_a_uksc_judgment_31 n2_a_uksc_judgment_29 PRO;_genm_ n2_a_uksc_judgment_28->n2_a_uksc_judgment_29 n2_a_uksc_judgment_29->n2_a_uksc_judgment_30 n2_a_uksc_judgment_31->n2_a_uksc_judgment_32 n2_a_uksc_judgment_33->n2_a_uksc_judgment_34 
( (IP-IMP (LST (LS 55<dot>))
          (VB;_Cn.i_ Let;{let})
          (NP-OB1 (PRO us;{we}))
          (IP-INF-PRD (VB;_Tn.pr_ remind;{remind[of]})
                      (NP-OB1 (PNX ourselves;{ourselves}))
                      (PP-CLR (P-ROLE of;{of})
                              (NP (D the;{the})
                                  (NS foundations;{foundation})
                                  (PP (P-ROLE of;{of})
                                      (NP (NP-GEN (PRO;_genm_ our;{our}))
                                          (N constitution;{constitution}))))))
          (PUNC .))
  (ID 2_a_uksc_judgment))