infinitive property

String infinitive
final

Implementation

final String infinitive;