Context                Previous, Next                Top


28_a_fce_0102_2001_03
Apply to Ocean World now!

%3 r_0028_0001__Apply Apply r_0028_0003__Ocean_r_0028_0004__World Ocean World r_0028_0001__Apply->r_0028_0003__Ocean_r_0028_0004__World to [clr] r_0028_0005__now now r_0028_0001__Apply->r_0028_0005__now [nim] z_000_28_a_fce_0102_2001_03_1 r_0028_0001__Apply->z_000_28_a_fce_0102_2001_03_1 [arg0] 
arc(r_0028_0001__Apply, r_0028_0003__Ocean_r_0028_0004__World, r_0028_0002__to_clr7).
arc(r_0028_0001__Apply, r_0028_0005__now, nim12).
arc(r_0028_0001__Apply, z_000_28_a_fce_0102_2001_03_1, arg0).


%3 r_0028_0001__Apply Apply z_000_28_a_fce_0102_2001_03_1 r_0028_0001__Apply->z_000_28_a_fce_0102_2001_03_1 [arg0] r_0028_0005__now now r_0028_0001__Apply->r_0028_0005__now [nim] r_0028_0003__Ocean_r_0028_0004__World Ocean World r_0028_0001__Apply->r_0028_0003__Ocean_r_0028_0004__World to [clr] 
fof(formula,axiom,
    ? [R_28_1_APPLY,Z_28_A_FCE_102_2001_3_1,R_28_5_NOW,R_28_3_OCEAN_WORLD] :
      ( now(R_28_5_NOW)
      & ocean_World(R_28_3_OCEAN_WORLD)
      & apply(R_28_1_APPLY,Z_28_A_FCE_102_2001_3_1)
      & nim12(R_28_1_APPLY,R_28_5_NOW)
      & to_clr7(R_28_1_APPLY,R_28_3_OCEAN_WORLD) ) ).


n28_a_fce_0102_2001_03 n28_a_fce_0102_2001_03__1_1_1 Apply n28_a_fce_0102_2001_03__1_2_1_1 to n28_a_fce_0102_2001_03__1_2_2_1_1 Ocean n28_a_fce_0102_2001_03__1_2_2_2_1 World n28_a_fce_0102_2001_03__1_3_1_1 now n28_a_fce_0102_2001_03__1_4_1 ! n28_a_fce_0102_2001_03__1 IP-IMP n28_a_fce_0102_2001_03__1_1 VB;_phr_Vpr_ n28_a_fce_0102_2001_03__1->n28_a_fce_0102_2001_03__1_1 n28_a_fce_0102_2001_03__1_2 PP-CLR n28_a_fce_0102_2001_03__1->n28_a_fce_0102_2001_03__1_2 n28_a_fce_0102_2001_03__1_3 ADVP-NIM n28_a_fce_0102_2001_03__1->n28_a_fce_0102_2001_03__1_3 n28_a_fce_0102_2001_03__1_4 PUNC n28_a_fce_0102_2001_03__1->n28_a_fce_0102_2001_03__1_4 n28_a_fce_0102_2001_03__1_1->n28_a_fce_0102_2001_03__1_1_1 n28_a_fce_0102_2001_03__1_2_1 P-ROLE n28_a_fce_0102_2001_03__1_2->n28_a_fce_0102_2001_03__1_2_1 n28_a_fce_0102_2001_03__1_2_2 NP n28_a_fce_0102_2001_03__1_2->n28_a_fce_0102_2001_03__1_2_2 n28_a_fce_0102_2001_03__1_2_1->n28_a_fce_0102_2001_03__1_2_1_1 n28_a_fce_0102_2001_03__1_2_2_1 NPR n28_a_fce_0102_2001_03__1_2_2->n28_a_fce_0102_2001_03__1_2_2_1 n28_a_fce_0102_2001_03__1_2_2_2 NPR n28_a_fce_0102_2001_03__1_2_2->n28_a_fce_0102_2001_03__1_2_2_2 n28_a_fce_0102_2001_03__1_2_2_1->n28_a_fce_0102_2001_03__1_2_2_1_1 n28_a_fce_0102_2001_03__1_2_2_2->n28_a_fce_0102_2001_03__1_2_2_2_1 n28_a_fce_0102_2001_03__1_3_1 ADV n28_a_fce_0102_2001_03__1_3->n28_a_fce_0102_2001_03__1_3_1 n28_a_fce_0102_2001_03__1_3_1->n28_a_fce_0102_2001_03__1_3_1_1 n28_a_fce_0102_2001_03__1_4->n28_a_fce_0102_2001_03__1_4_1 
( (IP-IMP (VB;_phr_Vpr_ Apply;{apply[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Ocean;{Ocean})
                      (NPR World;{World})))
          (ADVP-NIM (ADV now;{now}))
          (PUNC !))
  (ID 28_a_fce_0102_2001_03))