translation to cyclist: first predicate for sat