Assertion: satellite | /r/HasProperty | three strings of type
Facets:
Source sentences:
text: The message has variable size - each pseudo-frame usually includes six strings and contains ephemerides for the current satellite (string types 10, 11, and 12 in a sequence) and part of the almanac for three satellites (three strings of type 20).