The person is bicycling on the street at nighttime.
The bicyclist is heading home from work.
Bicyclists can be on the street at nighttime for another reason than heading home from work.
exists e1 x1 x2 x3.(n_street(x2) & n_person(x1) & at(e1,x3) & n_nighttime(x3) & on(e1,x2) & Actor(e1,x1) & v_bicycle(e1))
exists e1 x1 x2 x3.(n_bicyclist(x1) & from(e1,x3) & n_work(x3) & Time(e1,x2) & n_home(x2) & Actor(e1,x1) & v_head(e1))