added new domain FOL symbols
implementation of the railway station layout axioms builder, other changes