Alps

n : a large mountain system in south-central Europe; scenic

beauty and winter sports make them a popular tourist

attraction [syn: {Alps}, {the Alps}]

LPS

Sets with restricted {universal quantifier}s.

["Logic Programming with Sets", G. Kuper, J Computer Sys Sci

41:44-64 (1990)].