Context                Previous, Next                Top


28_a_freedoom
Play with 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))


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


%3 r_0028_0001__Play Play r_0028_0003__headphones headphones r_0028_0001__Play->r_0028_0003__headphones with [nim] z_0028_5002 r_0028_0001__Play->z_0028_5002 [arg0] 
fof(formula,axiom,
    ? [R_0028_0003__HEADPHONES,Z_0028_5002,R_0028_0001__PLAY] :
      ( r_0028_0003__headphones(R_0028_0003__HEADPHONES)
      & z_0028_5002(Z_0028_5002)
      & r_0028_0001__Play(R_0028_0001__PLAY)
      & has_arg0(R_0028_0001__PLAY,Z_0028_5002)
      & has_r_0028_0002__with__nim(R_0028_0001__PLAY,R_0028_0003__HEADPHONES) ) ).