1 2 3 4 5 6 7 8
abstract Ex = { cat S ; NP ; VP ; fun Pred : NP -> VP -> S ; She, They : NP ; Sleep : VP ; }