Assertion: conversion | /r/HasSubgroup | formal conversion
Facets:
Source sentences: