syntactic tree & logical form

integration