en textual entailment problem (n)
― IsA ⟶
Weight: 1.0
en standardized test (n) Source: OpenCyc 2012
en pascal challenge problem (n)
― IsA ⟶
Weight: 1.0
en textual entailment problem (n) Source: OpenCyc 2012