A framework that cannot distinguish necessarily co-extensive properties like 'triangular' and 'trila...