adding new path property
more temporal operator
path formula implemention continue