Logical form - Hornstein, Norbert (Blackwell, 1995)