It is natural, therefore, to identify meanings with semantically interpreted phrase markers minus their terminal nodes: finite ordered trees having at each node a category and an appropriate intension.