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