Assertion: logic | /r/HasProperty | investigated in fagin et al
Facets:
Source sentences:
text: Such logics were investigated in Fagin et al.