argument : LocLog1 A1 "Current location of user is logged when 'update' action is performed by the user" { supported by F1 "The GPS unit always gives the current location accurately" F2 "The device interface never indicates to the machine that the user has given the 'update' instruction when the user has not" F3 "The Wifi connection never fails to relay the log entry" }