propose mapping for fromAnswerOrQuery

[timrdf]

Explanations of the red lines:

1. The top pmlj:fromAnswer red line starts from an axiom nodeset to indicate this nodeset is used to derive the nodeset the line points to
  (final conclusion nodeset).
2. The second pmlj:fromAnswer red line starts from an intermediate nodeset produced during the proof generation process to derive the 
  nodeset the line points to(final conclusion nodeset).
3. The final conclusion nodeset at the bottom of the picture should have a pmlj:fromQuery red line points to the pmlj:Query instance 
   (in yellow) to indicator it is an answer for the query of the question.
4. A pmlj:Query instance for a pmlj:Question instance can have many answers (dash red lines). Each answer can be produced differently, but
  each final conclusion of an answer is for the query/question.