def::申込[順番=0]/[申込者=A, 被申込者=B] <=
fact:申入れ/[契約を締結せんとする提案=yes,
対象が一又は複数の特定の者に向けられている=yes,
内容が十分明確である=yes,
承諾があった場合には拘束されるとの
申込者の意思が示されている=yes,
行為者=A,
受取人=B];;
fact::申入れ/[内容が十分明確である=yes] <=
fact:申入れ/[物品を示す=yes,
数量及び代金=明示的に定めている];;
fact::申入れ/[内容が十分明確である=yes] <=
fact:申入れ/[物品を示す=yes,
数量及び代金=黙示的に定めている];;
fact::申入れ/[内容が十分明確である=yes] <=
fact:申入れ/[物品を示す=yes,
数量及び代金=決定方法を規定している];;
def::申込の単なる誘引 <=
fact:申入れ/[対象が一又は複数の特定の者に向けられている=no,
申入れをした者が異なった意向を明瞭に示している=no];;