query_answer (284B)
1 # Query answer 2 3 A [tuple] (named in [named_perspective], unnamed in [unnamed_perspective]) of [constants] that make a [query] true, i.e., substituting the [free_variables] of the [query] by these constants yields a [query] which evaluates to true 4 5 Up: [query] 6 7 Aliases: query answers