Assertion: basalt | /r/HasProperty | diabase
Facets:
Source sentences:
text: Trap rock is manifest in three forms: basalt (which is usually extrusive), diabase (which is always intrusive), and hornfels (which can be formed at the surface or in an intrusive setting).