(import-rdf ) (export-rdf ) (competing_rules _on_slots_ ) ( => ) (declare (superior )) (calc ) (not ) (naf (and )) ( ) ( ) ? ( ) ~ ? : ~ &