Assertion: android | /r/HasProperty | library
Facets:
Source sentences:
text: Android is an operating system primarily for mobile phones, which consists of Linux (Torvalds's kernel), some libraries, a Java platform and some applications.