Semantical facts derivation using grammatical parser and first order predicate logic resolution