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 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] 
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_3 Apply n28_a_fce_0102_2001_03_6 to n28_a_fce_0102_2001_03_9 Ocean n28_a_fce_0102_2001_03_11 World n28_a_fce_0102_2001_03_14 now n28_a_fce_0102_2001_03_16 ! n28_a_fce_0102_2001_03_1 IP-IMP n28_a_fce_0102_2001_03_2 VB;_phr_Vpr_ n28_a_fce_0102_2001_03_1->n28_a_fce_0102_2001_03_2 n28_a_fce_0102_2001_03_4 PP-CLR n28_a_fce_0102_2001_03_1->n28_a_fce_0102_2001_03_4 n28_a_fce_0102_2001_03_12 ADVP-NIM n28_a_fce_0102_2001_03_1->n28_a_fce_0102_2001_03_12 n28_a_fce_0102_2001_03_15 PUNC n28_a_fce_0102_2001_03_1->n28_a_fce_0102_2001_03_15 n28_a_fce_0102_2001_03_2->n28_a_fce_0102_2001_03_3 n28_a_fce_0102_2001_03_5 P-ROLE n28_a_fce_0102_2001_03_4->n28_a_fce_0102_2001_03_5 n28_a_fce_0102_2001_03_7 NP n28_a_fce_0102_2001_03_4->n28_a_fce_0102_2001_03_7 n28_a_fce_0102_2001_03_5->n28_a_fce_0102_2001_03_6 n28_a_fce_0102_2001_03_8 NPR n28_a_fce_0102_2001_03_7->n28_a_fce_0102_2001_03_8 n28_a_fce_0102_2001_03_10 NPR n28_a_fce_0102_2001_03_7->n28_a_fce_0102_2001_03_10 n28_a_fce_0102_2001_03_8->n28_a_fce_0102_2001_03_9 n28_a_fce_0102_2001_03_10->n28_a_fce_0102_2001_03_11 n28_a_fce_0102_2001_03_13 ADV n28_a_fce_0102_2001_03_12->n28_a_fce_0102_2001_03_13 n28_a_fce_0102_2001_03_13->n28_a_fce_0102_2001_03_14 n28_a_fce_0102_2001_03_15->n28_a_fce_0102_2001_03_16 
( (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))