boolean function ( String arg0 ) { return new TTEntails ( ) . ttEntails ( this , arg0 ) ; }
returns the answer to the specified question using the tt-entails algorithm . concode_field_sep PEParser parser concode_elem_sep List<Sentence> sentences concode_field_sep void tellAll concode_elem_sep int size concode_elem_sep void tell concode_elem_sep Sentence asSentence concode_elem_sep String toString concode_elem_sep boolean askWithDpll concode_elem_sep List<Sentence> getSentences