Assertion: package's file | /r/Desires | non-installed packages
Facets:
Source sentences:
text: As a convenient feature, upon the compilation of a file requiring non-installed packages, MikTeX will automatically prompt to install the missing ones.