A list of length 1.
Slots Of Instances:
(<=> (Single ?List) (And (List ?List) (= (Length ?List) 1)))