add aima-core to pom and include example of advanced query
add getters and custom PropositionSymbol that contains the actual Condition
add proposition mapper