In a manner that deduces theories from facts.
Involving induction of theories from facts.
Developed on a basis of languages which already exist.