file 4 half-annotated