little pony subgroup of pony, 5 assertions