Logical form: the grammar cognition interface · Study