It is well known that we cannot express this query in first-order logic [Grumbach and Su 1997].
Sample text:```These policies are known to present comprehension problems to users [15, 19] and often are used to inform the interaction design for such systems, e.```
Sample intent: method
Sample text:```In this study, we generalized previous results regarding the quasi-Gaussian shape and the scalar property using the SBF model [13,21,52].```
Sample intent: result



Sample text:```phi is a meta-program interpreted in [112, 24] as a second-order predicate which applies to the predicate p.```
Sample intent: method



Sample text:```Discrepancies analogous to those between our results and those of simulations have, indeed, recently been observed in the case of the binary perceptron [18], the pspin interaction spin glass [19], and in the case of fluctuating manifolds in random media [20], where dynamically frozen phases were observed in regions of parameter space in which static approaches yielded ergodic phases.```
Sample intent: result



Sample text:```These policies are known to present comprehension problems to users [15, 19] and often are used to inform the interaction design for such systems, e.```
Sample intent: method



Sample text:```have been proposed as potential alternatives to the Turing Test, specifically targeting its potential weaknesses and inadequacy [1].```
Sample intent: background
Sample text:```The results for veridical recall replicated previous results in the literature (Bal-
lardini et al., 2008; McDermott & Watson, 2001), with the average recall of studied words increas-
ing monotonically as SOA increased.```
Sample intent: result



Sample text:```We consider as unknown true system the half-load model of the flexible transmission system used as a benchmark in a special issue of the European Journal of Control (Landau et al., 1995b).```
Sample intent: background



Sample text:```These policies are known to present comprehension problems to users [15, 19] and often are used to inform the interaction design for such systems, e.```
Sample intent: method



Sample text:```Our results confi rm previous studies that reached the same conclusion (Boushey et al 1994; Vermeulen et al 2000; Till et al 2005; Marcucci et al 2005).```
Sample intent: result



Sample text:```This seems to be the main drawback of the current implementation in comparison to the method of Black Jepson (“refined” in Table 1).```
Sample intent: result



Sample text:```While this method is known to be generally reliable, there are some questions about the representativeness of the data used [25].```
Sample intent: background



Sample text:```The response to a generated question will be supplied in the following conversations, which may be novel but not necessarily occur in the input as that in traditional QG (Du et al., 2017; Yuan et al., 2017; Tang et al., 2017; Wang et al., 2017; Mostafazadeh et al., 2016).```
Sample intent: method



Sample text:```have been proposed as potential alternatives to the Turing Test, specifically targeting its potential weaknesses and inadequacy [1].```
Sample intent: background



Sample text:```phi is a meta-program interpreted in [112, 24] as a second-order predicate which applies to the predicate p.```
Sample intent: method



Sample text:```These models are not specified and observe a single phenomenon from different points of view (Maxfield et al., 2002; Parker et al., 2009).```
Sample intent: method