#!/usr/bin/awk -f

$2 ~ /D/ {
  printf( "x(%s)", $4 );
  for ( i = 5; i <=NF; i++ ) { printf( " %s", $i ) };
  printf( "\n" );
}