abstract params = {

cat S; NP ;

fun test : NP -> S ;

}