abstract Koe = {

cat S ; NP ; VP ;

fun
  Pred : NP -> VP -> S ;

  Je, Tu, Il, Elle, Nous, Vous, Ils, Elles : NP ;

  Strong : VP ;

}