My house is big.

Geographic Information Systems are very useful tools for map making and spatial data analysis.

The automotive navigation system in my car has downloaded the latest map data.

He likes to take a walk in the park at dusk.

He was a fatalist, believing that all events are determined by fate.

Syntax is a branch of linguistics.

He is majoring in syntax at university.

Category theory is a branch of mathematics that studies structures and their relationships.

He is an expert in probability theory.

Einstein's theory of relativity is one of the important theories in physics.