import model sm
define q = u c d s u~ c~ d~ s~
generate     p p > q q @1
output -f
