Assertion: lightning | /r/HasProperty | ferrari
Facets:
Source sentences:
text: Guido and luigi mistakenly know that Lightning is a Ferrari.