implemented OWL2.AS.pairSymbols, and did run scan and fixed stuff