Assertion: boogie | /r/CapableOf | use mono
Facets:
value: on linux/osx
type: LOCATION
Source sentences:
text: Historically, Boogie can also be built using the classic .NET Framework (on Windows) and Mono (on Linux/OSX), but this might not be supported in the future.
text: Historically, Boogie can also be built using the classic .NET Framework (on Windows) and Mono (on Linux/OSX), but this might not be supported in the future.