Existing Machine-readable Notations for Describing Subsets