@id:9923
$name:排他的正準形