Floor_wall_disjunct