Assertion: f logic | /r/HasProperty | developed by michael kifer
Facets:
value: at georg lausen
type: LOCATION
value: at the university of mannheim
type: LOCATION
value: at stony brook university
type: LOCATION
Source sentences:
text: F-logic was developed by Michael Kifer at Stony Brook University and Georg Lausen at the University of Mannheim.