A logic model for LHS evaluation