Assertion: order logic | /r/HasProperty | l ωω
Facets:
value: in this notation
type: OTHER
Source sentences:
text: In this notation, ordinary first-order logic is L ωω .