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 z_000_28_a_freedoom_1 r_0028_0001__Play->z_000_28_a_freedoom_1 [arg0] r_0028_0003__headphones headphones r_0028_0001__Play->r_0028_0003__headphones with [nim] 
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__1_1_1 Play n28_a_freedoom__1_2_1_1 with n28_a_freedoom__1_2_2_1_1 headphones n28_a_freedoom__1_3_1 . n28_a_freedoom__1 IP-IMP n28_a_freedoom__1_1 VB;_I_ n28_a_freedoom__1->n28_a_freedoom__1_1 n28_a_freedoom__1_2 PP-NIM n28_a_freedoom__1->n28_a_freedoom__1_2 n28_a_freedoom__1_3 PUNC n28_a_freedoom__1->n28_a_freedoom__1_3 n28_a_freedoom__1_1->n28_a_freedoom__1_1_1 n28_a_freedoom__1_2_1 P-ROLE n28_a_freedoom__1_2->n28_a_freedoom__1_2_1 n28_a_freedoom__1_2_2 NP n28_a_freedoom__1_2->n28_a_freedoom__1_2_2 n28_a_freedoom__1_2_1->n28_a_freedoom__1_2_1_1 n28_a_freedoom__1_2_2_1 NS n28_a_freedoom__1_2_2->n28_a_freedoom__1_2_2_1 n28_a_freedoom__1_2_2_1->n28_a_freedoom__1_2_2_1_1 n28_a_freedoom__1_3->n28_a_freedoom__1_3_1 
( (IP-IMP (VB;_I_ Play;{play})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NS headphones;{headphone})))
          (PUNC .))
  (ID 28_a_freedoom))