extended the station control model with domain axioms, new FOL symbols