{ [ k:subEvents [ k:startingDate [ dt:date :YYYY_MM_DD; a [ k:nameString :DOW ] ]; t:departureTime :HH_MM; t:arrivalTime :HH_MM2; k:fromLocation [ apt:iataCode :IATA ]; k:toLocation [ apt:iataCode :IATA2 ]; t:carrier [ k:nameOfAgent :CARRIER ]; t:flightNumber :NUM; ] ]. :WHEN is str:concatenation of (:YYYY_MM_DD :HH_MM). :TXT is str:concatenation of (:YYYY_MM_DD " " :HH_MM " - " :HH_MM2 " " :IATA "->" :IATA2 " " :DOW " " :CARRIER " #" :NUM "\n"). } log:implies { :WHEN log:outputString :TXT }.
21 of 29 |