Allenella formalis är en snäckart som beskrevs av Tom Iredale 1944. Allenella formalis ingår i släktet Allenella och familjen punktsnäckor.
Underarter
Arten delas in i följande underarter:
A. f. formalis A. f. planorum
Källor Iredale, T. (1944) The land Mollusca of Lord Howe Island., Australian Zoologist AFD: Australian Faunal Directory (Pulmonata). Smith B.J., Reid S. & Ponder W.F. (Pulmonata); Wells A. (ed), 2002-05-31
Kategori:Punktsnäckor formalis