Assertion: logic | /r/CapableOf | cover the overlap
Facets:
value: between that of computer science
type: OTHER
value: between the field of logic
type: OTHER
Source sentences:
text: Logic in computer science covers the overlap between the field of logic and that of computer science.