Assertion: order logic | /r/HasAspect | only one standard semantics
Facets:
Source sentences:
text: Unlike first-order logic, which has only one standard semantics, there are two different semantics that are commonly used for second-order logic: standard semantics and Henkin semantics.