Context                Previous, Next                Top


28_a_freedoom
Play with headphones.

%3 r_0028_0001__Play Play r_0028_0003__headphones headphones r_0028_0001__Play->r_0028_0003__headphones with [nim] z_000_28_a_freedoom_1 r_0028_0001__Play->z_000_28_a_freedoom_1 [arg0] 
arc(r_0028_0001__Play, r_0028_0003__headphones, r_0028_0002__with_nim7).
arc(r_0028_0001__Play, z_000_28_a_freedoom_1, arg0).


%3 r_0028_0001__Play Play r_0028_0003__headphones headphones r_0028_0001__Play->r_0028_0003__headphones with [nim] z_000_28_a_freedoom_1 r_0028_0001__Play->z_000_28_a_freedoom_1 [arg0] 
fof(formula,axiom,
    ? [R_28_1_PLAY,Z_28_A_FREEDOOM_1,R_28_3_HEADPHONES] :
      ( headphones(R_28_3_HEADPHONES)
      & play(R_28_1_PLAY,Z_28_A_FREEDOOM_1)
      & with_nim7(R_28_1_PLAY,R_28_3_HEADPHONES) ) ).


n28_a_freedoom n28_a_freedoom_3 Play n28_a_freedoom_6 with n28_a_freedoom_9 headphones n28_a_freedoom_11 . n28_a_freedoom_1 IP-IMP n28_a_freedoom_2 VB;_I_ n28_a_freedoom_1->n28_a_freedoom_2 n28_a_freedoom_4 PP-NIM n28_a_freedoom_1->n28_a_freedoom_4 n28_a_freedoom_10 PUNC n28_a_freedoom_1->n28_a_freedoom_10 n28_a_freedoom_2->n28_a_freedoom_3 n28_a_freedoom_5 P-ROLE n28_a_freedoom_4->n28_a_freedoom_5 n28_a_freedoom_7 NP n28_a_freedoom_4->n28_a_freedoom_7 n28_a_freedoom_5->n28_a_freedoom_6 n28_a_freedoom_8 NS n28_a_freedoom_7->n28_a_freedoom_8 n28_a_freedoom_8->n28_a_freedoom_9 n28_a_freedoom_10->n28_a_freedoom_11 
( (IP-IMP (VB;_I_ Play;{play})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NS headphones;{headphone})))
          (PUNC .))
  (ID 28_a_freedoom))