#semantic-inference