Assertion: elevator's passenger | /r/CapableOf | prevent empty calls
Facets:
Source sentences:
text: To prevent this problem, in one implementation of destination control, every user is given an RFID card, for identification and tracking, so that the system knows every user call and can cancel the first call if the passenger decides to travel to another destination, preventing empty calls.