Assertion: thunderbird | /r/HasProperty | installed following instruction
Facets:
Source sentences:
text: If Thunderbird is installed following the instructions given above, it must be started (in a Terminal or in a launcher on the Desktop, for example) using the command: