Assertion: current satellite | /r/HasProperty | string types
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).