The version proposed here combines a basic insight from Lewin ( 1990 ) with higher-order unification to give an analysis that has a strong resemblance to that proposed in Pereira ( 1990 , 1991 ) , with some differences that are commented on below .