Assertion: trigger | /r/CapableOf | run the procedure
Facets:
Source sentences:
text: The trigger in Example 9-21 runs the procedure check_user after a user logs onto the database.