sentence (95B)
1 # Sentence 2 3 A logic [formula] without [free_variables] 4 5 Up: [logic] 6 7 See also: [boolean_query]