Context                Previous, Next                Top


2_a_lockdown
7-8 minutes

n2_a_lockdown n2_a_lockdown__1_1_1 7-8 n2_a_lockdown__1_2_1 minutes n2_a_lockdown__1 NP n2_a_lockdown__1_1 NUM n2_a_lockdown__1->n2_a_lockdown__1_1 n2_a_lockdown__1_2 NS n2_a_lockdown__1->n2_a_lockdown__1_2 n2_a_lockdown__1_1->n2_a_lockdown__1_1_1 n2_a_lockdown__1_2->n2_a_lockdown__1_2_1 
( (NP (NUM 7_<hyphen>_8)
      (NS minutes;{minute}))
  (ID 2_a_lockdown;speaker=-))


%3 z_0002_5004 r_0002_0001__7__hyphen__8_r_0002_0002__minutes 7-8 minutes z_0002_5004->r_0002_0001__7__hyphen__8_r_0002_0002__minutes 
arc(z_0002_5004,r_0002_0001__7__hyphen__8_r_0002_0002__minutes,z_0002_5002).


%3 z_0002_5004 r_0002_0001__7__hyphen__8_r_0002_0002__minutes 7-8 minutes z_0002_5004->r_0002_0001__7__hyphen__8_r_0002_0002__minutes 
fof(formula,axiom,
    ? [R_0002_0001__7__HYPHEN__8_R_0002_0002__MINUTES,Z_0002_5004] :
      ( r_0002_0001__7__hyphen__8_r_0002_0002__minutes(R_0002_0001__7__HYPHEN__8_R_0002_0002__MINUTES)
      & z_0002_5004(Z_0002_5004)
      & has_z_0002_5002(Z_0002_5004,R_0002_0001__7__HYPHEN__8_R_0002_0002__MINUTES) ) ).