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_0011__constitution constitution r_0002_0003__us us r_0002_0011__constitution->r_0002_0003__us [gen] r_0002_0007__the_r_0002_0008__foundations the foundations r_0002_0007__the_r_0002_0008__foundations->r_0002_0011__constitution of r_0002_0004__remind remind r_0002_0004__remind->r_0002_0003__us [arg1] 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_0002__Let Let r_0002_0002__Let->r_0002_0003__us [arg1] 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] 
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__1_1_1_1 55. n2_a_uksc_judgment__1_2_1 Let n2_a_uksc_judgment__1_3_1_1 us n2_a_uksc_judgment__1_4_1_1 remind n2_a_uksc_judgment__1_4_2_1_1 ourselves n2_a_uksc_judgment__1_4_3_1_1 of n2_a_uksc_judgment__1_4_3_2_1_1 the n2_a_uksc_judgment__1_4_3_2_2_1 foundations n2_a_uksc_judgment__1_4_3_2_3_1_1 of n2_a_uksc_judgment__1_4_3_2_3_2_1_1_1 our n2_a_uksc_judgment__1_4_3_2_3_2_2_1 constitution n2_a_uksc_judgment__1_5_1 . n2_a_uksc_judgment__1 IP-IMP n2_a_uksc_judgment__1_1 LST n2_a_uksc_judgment__1->n2_a_uksc_judgment__1_1 n2_a_uksc_judgment__1_2 VB;_Cn.i_ n2_a_uksc_judgment__1->n2_a_uksc_judgment__1_2 n2_a_uksc_judgment__1_3 NP-OB1 n2_a_uksc_judgment__1->n2_a_uksc_judgment__1_3 n2_a_uksc_judgment__1_4 IP-INF-PRD n2_a_uksc_judgment__1->n2_a_uksc_judgment__1_4 n2_a_uksc_judgment__1_5 PUNC n2_a_uksc_judgment__1->n2_a_uksc_judgment__1_5 n2_a_uksc_judgment__1_1_1 LS n2_a_uksc_judgment__1_1->n2_a_uksc_judgment__1_1_1 n2_a_uksc_judgment__1_1_1->n2_a_uksc_judgment__1_1_1_1 n2_a_uksc_judgment__1_2->n2_a_uksc_judgment__1_2_1 n2_a_uksc_judgment__1_3_1 PRO n2_a_uksc_judgment__1_3->n2_a_uksc_judgment__1_3_1 n2_a_uksc_judgment__1_3_1->n2_a_uksc_judgment__1_3_1_1 n2_a_uksc_judgment__1_4_1 VB;_Tn.pr_ n2_a_uksc_judgment__1_4->n2_a_uksc_judgment__1_4_1 n2_a_uksc_judgment__1_4_2 NP-OB1 n2_a_uksc_judgment__1_4->n2_a_uksc_judgment__1_4_2 n2_a_uksc_judgment__1_4_3 PP-CLR n2_a_uksc_judgment__1_4->n2_a_uksc_judgment__1_4_3 n2_a_uksc_judgment__1_4_1->n2_a_uksc_judgment__1_4_1_1 n2_a_uksc_judgment__1_4_2_1 PNX n2_a_uksc_judgment__1_4_2->n2_a_uksc_judgment__1_4_2_1 n2_a_uksc_judgment__1_4_2_1->n2_a_uksc_judgment__1_4_2_1_1 n2_a_uksc_judgment__1_4_3_1 P-ROLE n2_a_uksc_judgment__1_4_3->n2_a_uksc_judgment__1_4_3_1 n2_a_uksc_judgment__1_4_3_2 NP n2_a_uksc_judgment__1_4_3->n2_a_uksc_judgment__1_4_3_2 n2_a_uksc_judgment__1_4_3_1->n2_a_uksc_judgment__1_4_3_1_1 n2_a_uksc_judgment__1_4_3_2_1 D n2_a_uksc_judgment__1_4_3_2->n2_a_uksc_judgment__1_4_3_2_1 n2_a_uksc_judgment__1_4_3_2_2 NS n2_a_uksc_judgment__1_4_3_2->n2_a_uksc_judgment__1_4_3_2_2 n2_a_uksc_judgment__1_4_3_2_3 PP n2_a_uksc_judgment__1_4_3_2->n2_a_uksc_judgment__1_4_3_2_3 n2_a_uksc_judgment__1_4_3_2_1->n2_a_uksc_judgment__1_4_3_2_1_1 n2_a_uksc_judgment__1_4_3_2_2->n2_a_uksc_judgment__1_4_3_2_2_1 n2_a_uksc_judgment__1_4_3_2_3_1 P-ROLE n2_a_uksc_judgment__1_4_3_2_3->n2_a_uksc_judgment__1_4_3_2_3_1 n2_a_uksc_judgment__1_4_3_2_3_2 NP n2_a_uksc_judgment__1_4_3_2_3->n2_a_uksc_judgment__1_4_3_2_3_2 n2_a_uksc_judgment__1_4_3_2_3_1->n2_a_uksc_judgment__1_4_3_2_3_1_1 n2_a_uksc_judgment__1_4_3_2_3_2_1 NP-GEN n2_a_uksc_judgment__1_4_3_2_3_2->n2_a_uksc_judgment__1_4_3_2_3_2_1 n2_a_uksc_judgment__1_4_3_2_3_2_2 N n2_a_uksc_judgment__1_4_3_2_3_2->n2_a_uksc_judgment__1_4_3_2_3_2_2 n2_a_uksc_judgment__1_4_3_2_3_2_1_1 PRO;_genm_ n2_a_uksc_judgment__1_4_3_2_3_2_1->n2_a_uksc_judgment__1_4_3_2_3_2_1_1 n2_a_uksc_judgment__1_4_3_2_3_2_1_1->n2_a_uksc_judgment__1_4_3_2_3_2_1_1_1 n2_a_uksc_judgment__1_4_3_2_3_2_2->n2_a_uksc_judgment__1_4_3_2_3_2_2_1 n2_a_uksc_judgment__1_5->n2_a_uksc_judgment__1_5_1 
( (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))