Context                Previous, Next                Top


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

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))


%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_r_0002_0006__of remind of r_0002_0004__remind_r_0002_0006__of->r_0002_0003__us [arg1] r_0002_0004__remind_r_0002_0006__of->r_0002_0007__the_r_0002_0008__foundations [arg2] z_0002_5005 r_0002_0004__remind_r_0002_0006__of->z_0002_5005 [arg0] r_0002_0002__Let Let r_0002_0002__Let->r_0002_0003__us [arg1] r_0002_0002__Let->r_0002_0004__remind_r_0002_0006__of [prd] z_0002_5002 r_0002_0002__Let->z_0002_5002 [arg0] 
arc(r_0002_0002__Let,r_0002_0003__us,arg1).
arc(r_0002_0002__Let,r_0002_0004__remind_r_0002_0006__of,prd).
arc(r_0002_0002__Let,z_0002_5002,arg0).
arc(r_0002_0004__remind_r_0002_0006__of,r_0002_0003__us,arg1).
arc(r_0002_0004__remind_r_0002_0006__of,r_0002_0007__the_r_0002_0008__foundations,arg2).
arc(r_0002_0004__remind_r_0002_0006__of,z_0002_5005,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_r_0002_0006__of remind of r_0002_0002__Let->r_0002_0004__remind_r_0002_0006__of [prd] z_0002_5002 r_0002_0002__Let->z_0002_5002 [arg0] r_0002_0004__remind_r_0002_0006__of->r_0002_0003__us [arg1] r_0002_0007__the_r_0002_0008__foundations the foundations r_0002_0004__remind_r_0002_0006__of->r_0002_0007__the_r_0002_0008__foundations [arg2] z_0002_5005 r_0002_0004__remind_r_0002_0006__of->z_0002_5005 [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_0002_0003__US,R_0002_0011__CONSTITUTION,R_0002_0007__THE_R_0002_0008__FOUNDATIONS,Z_0002_5005,R_0002_0004__REMIND_R_0002_0006__OF,Z_0002_5002,R_0002_0002__LET] :
      ( r_0002_0003__us(R_0002_0003__US)
      & z_0002_5002(Z_0002_5002)
      & z_0002_5005(Z_0002_5005)
      & r_0002_0002__Let(R_0002_0002__LET)
      & has_arg0(R_0002_0002__LET,Z_0002_5002)
      & has_prd(R_0002_0002__LET,R_0002_0004__REMIND_R_0002_0006__OF)
      & r_0002_0004__remind_r_0002_0006__of(R_0002_0004__REMIND_R_0002_0006__OF)
      & has_arg0(R_0002_0004__REMIND_R_0002_0006__OF,Z_0002_5005)
      & has_arg2(R_0002_0004__REMIND_R_0002_0006__OF,R_0002_0007__THE_R_0002_0008__FOUNDATIONS)
      & r_0002_0007__the_r_0002_0008__foundations(R_0002_0007__THE_R_0002_0008__FOUNDATIONS)
      & has_r_0002_0009__of(R_0002_0007__THE_R_0002_0008__FOUNDATIONS,R_0002_0011__CONSTITUTION)
      & r_0002_0011__constitution(R_0002_0011__CONSTITUTION)
      & has_gen(R_0002_0011__CONSTITUTION,R_0002_0003__US)
      & has_arg1(R_0002_0004__REMIND_R_0002_0006__OF,R_0002_0003__US)
      & has_arg1(R_0002_0002__LET,R_0002_0003__US) ) ).