Formal Language: OWLSUO-KIFTPTPtraditionalLogic
VerbNet: conjecture-29.5|grant, conjecture-29.5|grant, conjecture-29.5|grant,