Combinatory categorial grammar
 
x
OK