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];;