Example of Forward Path Logic

Example of Forward Path Logic