1990 LearningLogicalDefinitionsfromR